|
|
|
|
 |
Törölt nick
2003-11-15 04:04:58
|
179
|
| kompakt T_2 terek szorzatának parakompaktságáról van persze (első sor) |
|
 |
Törölt nick
2003-11-15 02:58:07
|
178
|
| A Boolean Prime Ideal Theorem egyszerűen azt mondja ki, hogy minden Boole-algebrának van prímideálja. Ez sokkal gyengébb axióma AC-nál. |
|
A hozzászólás:
 |
Törölt nick
2003-11-15 02:44:21
|
177
|
Megtudtam, hogy még az sem ismert, hogy T2 terek szorzatának parakompaktságából következik-e a Boolean Ideal Th. (A parakompaktságból következik a normalitás. Sorgenfrey 1947-es eredménye szerint viszont parakompakt terek szorzata nem feltétlenül normális.)
A legérdekesebb eredmény, hogy a kompaktság azon definíciója, miszerint az ultraszűrők konvergálnak, olyan Tyihonov-tételt ad T_2-terekre, amely ZF-ben bizonyítható: De la Cruz, Howard, Keremedis, Rubin: Products of compact spaces and the axiom of choice, Math. Logic Quart., 2001. júl?
Az is érdekes, hogy Andreas Blass olyan modellt készített, amelyben minden topologikus tér az előbbi érteleben kompakt. |
|
Előzmény:
 |
sashimi
2003-11-11 19:23:17
|
170
|
Be kell vallanom a reverse math nem foglalkoztat, de itt egy kerdes, amire nem tudom a valaszt.
Igaz-e ZF-ben, hogy kompakt T_2 terek szorzata normalis? ZFC-ben trivi, hisz a szorzat kompakt Tyihonov miatt.
sashimi
|
|
|
Ha kedveled azért, ha nem azért nyomj egy lájkot a Fórumért!
|