Vita:Kiválasztási axióma
Új téma nyitása
|
Ez a szócikk témája miatt a matematikai műhely érdeklődési körébe tartozik. Bátran kapcsolódj be a szerkesztésébe! |
| Besorolatlan | Ezt a szócikket még nem sorolták be a kidolgozottsági skálán. |
| Nem értékelt | Ezt a szócikket még nem értékelték a műhely fontossági skáláján. |
| Értékelő szerkesztő: ismeretlen | |
Indokolja valami komolyabb dolog, hogy ez az algebra kategóriában legyen? ♥♥♥: Gubb ✍ 2006. augusztus 9., 19:39 (CEST)
Úgy gondolom az algebra is épít erre az axiómára - itt természetesen én is inkább az absztrakt algebrára gondolok, de ha jól láttam, akkor ez alatt a kategória alatt nem a klasszikus algebra értendő. GaborLajos 2006. augusztus 9., 19:44 (CEST)
Szerintem nincs olyan standard matematikai tudományág, ami ne építene erre. Szvsz fölösleges az algebrát kiemelni. ♥♥♥: Gubb ✍ 2006. augusztus 9., 19:56 (CEST)
Ebből én azt a következtetést vonom le, hogy minden olyan kategóriába érdemes belerakni, amellyel kapcsolatba hozható. Ez azonban korántsem jelenti az összes Matematika kategória alatti alkategóriát, hiszen ezek jó része nem a standard matematikai tudományágak szerinti kategorizálásnak felel meg (lásd pl. Paradoxonok kategória), így ez sem vezet az angol wikipédián gyakori áttekinthetetlen "féloldalnyi" kategóriabesoroláshoz. GaborLajos 2006. augusztus 9., 20:19 (CEST)
Szerintem a halmaz sem az "algebra" kategória, csak mert a csoport egy halmazból áll. Egy cikket annak a tudományágnak a kategóriájába kellene rakni (szerintem), mely tudományág azt vizsgálja. Az algebra nem vizsgálja közvetlenül a kiválasztási axiómát, hanem a halmazelmélet, bőven elég abba rakni. Az algebra a "művelet" fogalmának és törvényeinek általános vizsgálata. Közvetlen köze nincs a kiválasztási axiómához. ♥♥♥: Gubb ✍ 2006. augusztus 9., 20:23 (CEST)
Nem fogunk egyetérteni... Mindegy. Nem fontos. Vedd ki, ha gondolod. Üdv: GaborLajos 2006. augusztus 9., 20:28 (CEST)
Nem a szőrszálhasogatás miatt, de a kiválasztófüggvény nemüres halmazok nemüres halmazán értelmezett. Ha nem tesszük föl, hogy az értelmezési tartomány nem üres, akkor előfordulhat, hogy nincs kiv. függv, ugyanis: "az üres halmaz minden eleme nem üres":
Ha ugyanis ez nem lenne igaz, azaz lenne olyan eleme, amelyik üres, akkor ellentmondásra jutnánk :)
Jobban mondva az üres halmaznak kiválasztófüggvénye az üres halmaz, mert bármely (x,y) ∈ ∅-re y ∈ x teljesül. Mozo vita 2008. február 10., 09:21 (CET)