Keresés

Részletes keresés

Törölt nick Creative Commons License 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 Creative Commons License 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 Creative Commons License 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 Creative Commons License 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!