Dychotomia: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
drobne merytoryczne: no to dodałem przykład ale więcej (i prostsze) są potrzebne. Tyle że teraz nie przychodzi mi nic do głowy |
→Przykłady: +przykład |
||
Linia 2:
== Przykłady ==
===Matematyka===
Szereg twierdzeń w matematyce jest formułowanych w postaci dychotomii, stwierdzenia że
*jeśli '''B''' jest nieskończeniewymiarową [[przestrzeń Banacha|przestrzenią Banacha]], to '''B''' zawiera podprzestrzeń z bazą bezwarunkową lub '''B''' ma podprzestrzeń dziedzicznie nierozkładalną<ref>{{cytuj pismo|nazwisko=Gowers|imię=W. T.|tytuł=A new dichotomy for Banach spaces|czasopismo=Geom. Funct. Anal.|numer=6|rok=1996|strony=1083--1093}}</ref>.
* każdy [[zbiór analityczny|analityczny]] podzbiór [[liczby rzeczywiste|prostej rzeczywistej]] jest albo [[zbiór przeliczalny|przeliczalny]] lub zawiera [[homeomorfizm|homeomorficzną]] kopię [[Zbiór Cantora|zbioru Cantora]],
* jeśli <math>{\mathbb P}</math> jest [[pojęcie forsingu|pojęciem forsingu]] które jest Suslin-ccc, to albo <math>{\mathbb P}</math> nie dodaje liczby nieograniczonej albo <math>{\mathbb P}</math> dodaje liczbę Cohena<ref>{{cytuj pismo|imię=Saharon|nazwisko=Shelah|autorlink=Saharon Shelah|tytuł=How special are Cohen and random forcings i.e. Boolean algebras of the family of subsets of reals modulo meagre or null|czasopismo=Israel Journal of Mathematics|numer=88|strony=159–174|rok=1994}}</ref>
|