Keresés

Részletes keresés

marenics Creative Commons License 2003.11.22 0 0 180
Jonapot!

Tudna valaki segiteni egy kerdes megvalaszolasaban? Szoval szerintetek van-e olyan folytonos valos fuggveny, amire f(x) racionalis ACSA, ha f(x+1) irracionalis. Az ertelmezesi tartomany az egesz R kene legyen, mar csinaltam olyat, ami csak a rac. v. az irrac. pontokon ertelmezett.

Elore is koszi!

Törölt nick Creative Commons License 2003.11.15 0 0 179
kompakt T_2 terek szorzatának parakompaktságáról van persze (első sor)
Előzmény: Törölt nick (177)
Törölt nick Creative Commons License 2003.11.15 0 0 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.
Előzmény: Törölt nick (177)
Törölt nick Creative Commons License 2003.11.15 0 0 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 (170)
Gondolj-rám-virág Creative Commons License 2003.11.12 0 0 176
Off
Gergő: Köszi, hogy elküldted, még el is tudtam olvasni :)))), most már csak megértem, ha már a technikai része megvan, akkor csak megküzdök egy kis angollal meg egy kis topológiával… Köszi még egyszer!
On
Előzmény: Gergo73 (173)
Törölt nick Creative Commons License 2003.11.12 0 0 175
Egyelőre az jutott erről eszembe, hogy a Tyihonov-tétel attól esik ZF-en kívül annyira, hogy megőriz a szorzatra számossági (végességi) tulajdonságat a nyílt lefedésekből való kiválasztásra. Ennél a problémánál azonban a szorzattérnek még pl. Lindelöfnek sem kell lennie! Csak szétválasztási axiómának kell teljesülnie.
Előzmény: sashimi (170)
Törölt nick Creative Commons License 2003.11.12 0 0 174

Olvastam Horst Herrlichnek egy összefoglaló cikkét, a CMUC-ban jelent meg (1997). Ebben volt arról szó, hogy pl. a Cech-Stone-tétel Heine-Borel-kompakt terekre (ez a 'minden nyílt lefedésből...'-kompaktságot jelenti nála) ekvivalens a Heine-Borel-kompakt Hausdorff-terekre kimondott Tyihonov-tétellel, és pl. azzal, hogy minden filter benne van egy ultrafilterben, és a Boolean Prime Ideal tétellel is (ezt nem tudom kimondani pontosan), és azzal, hogy a véges terek szorzatai Heine-Borel-kompaktak, és azzal, hogy a Heine-Borel-kompaktság egybeesik a Bourbaki-kompaktsággal (az ultrafilterek konvergálnak). Ezek a tételek AC-nál még DC-vel együtt is sokkal gyengébbek (írta H.).
Előzmény: sashimi (170)
Gergo73 Creative Commons License 2003.11.12 0 0 173
Emailben elküldtem Neked a fájlt pdf formátumban.
Előzmény: Gondolj-rám-virág (172)
Gondolj-rám-virág Creative Commons License 2003.11.11 0 0 172
A belinkelt oldalt nem tudom elolvasni, mert ps-ben van, amúgy meg nem nagyon (vagy hogy közelebb legyek az igazsághoz: nagyon nem) értek a szgéphez! Nem tudná vki bemásolni ide vagy elküldeni mélben? (jövő héten vizsgázom belőle)
Ja, és azt meg tudnátok mondani, mi az az emeletfüggvény ( a fedőleképezésekkel kapcsolatos) és mi az a Dirac-kísérlet (szintén a fundamentális csoporttal kapcsolatban; sündisznótétel meg hasonlók társaságában)?

Előzmény: Dr.Feelgood (163)
zoknis(R) Creative Commons License 2003.11.11 0 0 171
köszi, király vagy!
SzPA
Előzmény: III. Richard (168)
sashimi Creative Commons License 2003.11.11 0 0 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

Előzmény: Törölt nick (169)
Törölt nick Creative Commons License 2003.11.11 0 0 169
Először arra gondoltam, hogy érdekes, hogy a topológia (és a kompaktság) fogalma mennyire általános. Aztán eszembe jutott a reverse math.: vajon az ekvivalencia két irányához ugyanazok az axiómák kellenek ZF-ből, vagy az egyik irány ax. halmaza tartalmazza a másikat, esetleg egyik differencia sem üres?

(Az ekvivalencia amúgy Kelley eredménye 1950-ből, ha jól emlékszem.)

Előzmény: sashimi (165)
karma police Creative Commons License 2003.11.11 0 0 167
Aktuális.
Írj fel modellt és adj becslést a nyereményed várható értékére egy szelvény vásárlása esetén.

A, nincs halmozódás
B, az éppen aktuális esetben
C, adj becslést egy halmozódás várható hosszára

Adatok - normál esetben 2.5 millió szelvény fogy, ez felmegy 13 millió köré hosszú halmozódás esetén, eleinte konvex, majd konkáv függvény szerint.

zoknis(R) Creative Commons License 2003.11.11 0 0 166
[A hivatkozott kép már nem található meg a tar.hu-n]
ki emlékszik a komplex számokra? ennek mennyi a vége?
(esetleg hogyan? (szóban pár szó is jó lenne, csak úgy inspirációnak...))
köszönöm: SzPA
sashimi Creative Commons License 2003.11.10 0 0 165
Erdemes tudni, hogy a Tyihonov tetel ekvivalens a kivalasztasi axiomaval. Viszont ha csak Hausdorff terekre tekintjuk, akkor gyengebb a kivalasztasi axiomanal.

sashimi

Előzmény: Gondolj-rám-virág (161)
Gondolj-rám-virág Creative Commons License 2003.11.09 0 0 164
Köszi, mindjárt +nézem! :)))
Dr.Feelgood Creative Commons License 2003.11.09 0 0 163
Előzmény: Gondolj-rám-virág (161)
Dr.Feelgood Creative Commons License 2003.11.09 0 0 162
SH Atlasz
Előzmény: Gondolj-rám-virág (161)
Gondolj-rám-virág Creative Commons License 2003.11.09 0 0 161
Sziasztok!
Nem tudja vki véletlenül a Tyihonov-tétel biz.át? (Vagy hogy hol lehet megtalálni.)
Tétel: Akárhány kompakt top. tér szorzata kompakt.

sashimi Creative Commons License 2003.03.27 0 0 160
Ertem. Sot az {a,a+d} es {a+d,a+2d} kozul pont az egyik el a grafban.

sashimi

Előzmény: Prunyicsek (159)
Prunyicsek Creative Commons License 2003.03.26 0 0 159
Valamiert nem akarja elfogadni a hozzaszolasomat a rendszer :-(( Lehet hogy a matematikai jelek miatt. Nem baj, leirom szoban:
Syoval a b nagyobb a termeszetes szamokat osszekutjuk, ha b osztva b minusz a egeszresz paros szam. Ez jo lesz.
Előzmény: Prunyicsek (158)
Prunyicsek Creative Commons License 2003.03.26 0 0 158
Az a konstrukcio, hogy az a([] az egeszreszt jeloli)
Ebben nincs harom hosszu ures vagy teljes reszgraf szamtani sorozaton.
Előzmény: sashimi (157)
sashimi Creative Commons License 2003.03.22 0 0 157
Mi a trivi ellenpelda?

sashimi

Előzmény: Prunyicsek (156)
Prunyicsek Creative Commons License 2003.03.22 0 0 156
...Ja amit kerdeztem az trivin nem igaz :-)
Bocs, almos voltam. Az eredeti kerdes viszont tetszik. (Ott azert a grafnak eleg specialis szerkezete van.)

Mi a helyzet w->R injektiv fuggvenyekkel?

Előzmény: Prunyicsek (154)
sashimi Creative Commons License 2003.03.22 0 0 155
Tegyuk fel, hogy f:R^2-> R fuggveny, amire f grafja zart es osszefuggo (R^3-ben). Igaz-e, hogy f folytonos?

sashimi

Prunyicsek Creative Commons License 2003.03.22 0 0 154
Mi a helyzet a kovetkezo kerdessel: Legyen G egy graf a w alaphalmazon. Va-e benne tetszolegesen nagy ures vagy teljes feszitett reszgraf szamtani sorozaton?

Ha ez igaz akkor persze az elobbi is.

Előzmény: Gergo73 (153)
Gergo73 Creative Commons License 2003.03.11 0 0 153
A hibas bizonyitasom felvet egy kerdest, ami szerintem nem erdektelen es nem nyilvanvalo. Legyen f:w->w injektiv. Igaz-e mindig, hogy f monoton tetszolegesen hosszu szamtani sorozaton?
Előzmény: sashimi (152)
sashimi Creative Commons License 2003.03.10 0 0 152
Jo esely van arra, hogy omega!1-en is tudok omega-homog, nem omega-tranzitivot csinalni. ZFC-ben nem latok utat arra, hogy omega_2-es alaphalmazzal az eddigi otleteket hasznalva elbanjunk.

Most azt is gondolom, hogy be tudom latni, hogy konzisztens, hogy minden kappan van ilyen omega-homog, nem omega-tranzitiv csoport, de ezt meg vegig kell szamolni.

sashimi

Előzmény: Gergo73 (151)
Gergo73 Creative Commons License 2003.03.10 0 0 151
Igazad van, van der Waerden-t hibásan idéztem és téves kapcsolás volt a részemről. De a Te ötleted nagyon jól bevált és biztos általánosítható is.
Előzmény: sashimi (150)
sashimi Creative Commons License 2003.03.10 0 0 150
Ossze-vissza beszelek. Egyszeruen az egyre hosszabb blokkokat megfordito lekepezes nem fedheto le veges sok monotonnal.

sashimi

Előzmény: sashimi (149)

Ha kedveled azért, ha nem azért nyomj egy lájkot a Fórumért!