Dychotomia: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
m HotCat: Usunięto kategorię "Teoria mnogości" |
→Przykłady: poprawa parametru w {{Cytuj pismo}}, + ew. WP:SK, ("Operacja Źródło"), using AWB |
||
Linia 9:
Szereg twierdzeń w matematyce jest formułowanych w postaci dychotomii, stwierdzenia że jedna z dwóch własności przysługuje rozważanym obiektom. Twierdzenia tego typu wzbudzają dodatkowe zainteresowanie, jeśli jeden z warunków mówi, że badany obiekt jest bardzo "prosty", a drugi postuluje że obiekt ten jest bardzo "złożony". Na przykład:
* jeśli '''B''' jest nieskończenie wymiarową [[przestrzeń Banacha|przestrzenią Banacha]], to '''B''' zawiera podprzestrzeń z bazą bezwarunkową lub '''B''' ma podprzestrzeń dziedzicznie nierozkładalną<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>{{
{{przypisy}}
|