Algebra dresów

Równie niepożądane jest dowodzenie, że każda funkcja dresowa w przestrzeni dresowej (ob.) jest bejsbolizowalna.

Bejsbolowa niezależność dresowa. Mówimy, że dresy są bejsbolowo niezależne, jeżeli nie muszą pożyczać kija od kolegi. Ilość dresów bejsbolowo niezależnych nazywamy wymiarem przestrzeni dresowej.

Bar jest to zbiór dresów bejsbolowo niezależnych. Rozkład dresa w barze jest jednoznaczny.

Dresowe przestrzenie bejsboliczne.

Aksjomatykę d.p.b po raz pierwszy sformułowali Haustodt i Chtachet (nie mieli już drugiej okazji).
Znamienne jest także to, że znany badacz topologii dresów, Japończyk Taki-Bourbaki nazwał d.p.b przestrzeniami polskimi.
Def.
Niech X będzie pewnym zbiorem dresów (x), a P zbiorem przechodniów (p). Funkcję x(p), odwzorowująca P na R (reanimację) taka, że każdy x zawiera sie w R (przychodzi dobić ofiarę), przy czym x jest nieujemny w sensie Wassermanna, spełniająca warunki:
1. Symetrii: nie ma znaczenia, czy przechodnia bije dres1, czy dres2;
2. Nierówności sił:
dwa dresy: dres1, bijący przechodnia x i y, oraz dres2, bijący przechodnia y i z, SA razem co najmniej tak samo silni (a może i silniejsi) niż dres bijący przechodniów x i z.
3. Tożsamości położenia:
jeżeli przechodzień bity jest jednocześnie przez dwóch dresów, to znaczy, że SA oni w tym samym miejscu. nazywamy bejsbolowa odległością cmentarną. Jeżeli spełnione SA tylko warunki 1 i 2, to funkcję tą nazywamy bejsbolowa odległością kaleka (przechodzień p zdąży uciec przed drugim dresem, ale okupi to ciężkim uszkodzeniem ciała).

Ciągi Dresy'ego
Ciąg dresów nazywa sie ciągiem Dresy'ego, gdy dla każdego silnego (niezerowego) dresa w ciągu alkoholowym można znaleźć i dwu silnych przechodniów, którzy i tak nie daliby mu (z dokładnością do znaku)rady.

Ćwiczenia
1 Pokazać, że p.d.b jest zupełna.
2 Pokazać, że na granicy ciągu Dresy'ego rzadko kiedy stoją WOPisci.