|
|
|
|
 |
Nautilus_
 2007-09-04 21:26:42
|
127
|
Elnézést, nem fogalmaztam pontosan. A projektív hierarchia már egy olyan halmazrendszer, amely jellemzésével számosan előfordulnak ZFC-ftlen állítások.
Minél jobban haladunk a bonyolultabb halmazok felé (nem diffható >> nincs a projektív hierarchiában), annál több ZFC-ftlen állítást kapunk. |
|
A hozzászólás:
 |
|
sashimi
2007-09-04 21:04:54
|
126
|
A független állítások olyankor kerülnek elő, amikor egy függvény nem differenciálható, nem folytonos, nem mérhető, nem tartozik a projektív hierarchiába
?
Pl: igaz-e, hogy egy ko-analitikus halmaz vagy megszamlalhato vagy tartalmaz perfekt reszhalmazt?
Igazan a proj. hierarchia alljarol szolo allitas, ami L-ben hamis, de igaz pl ha van merheto szamossag. |
|
Előzmény:
|
|
Nautilus_
2007-09-04 20:23:08
|
125
|
és persze szakaszonként folytonos helyett szakaszonként diff-ható függvények a "lényegében simák".
A független állítások olyankor kerülnek elő, amikor egy függvény nem differenciálható, nem folytonos, nem mérhető, nem tartozik a projektív hierarchiába, stb. |
|
|
Ha kedveled azért, ha nem azért nyomj egy lájkot a Fórumért!
|
