Ezek szerint A={a,b,c} halmaznak részhalmaza {a,b}, de nem eleme.
Igy van.
Viszont egy B={{a,b},c} halmaznak {a,b} eleme és nyilván részhalmaza is.
Eleme, de nem részhalmaza, hiszen a és b elemei {a,b}-nek, de nem elemei B-nek (a B elemei az {a,b} és a c).
Tehát kimondhatjuk, hogy minden halmaz, ami eleme egy másik halmaznak, egyúttal részhalmaz is, viszont fordítva ez nem igaz.
Ha egy X halmaz minden eleme részhalmaza az X-nek, akkor X ún. tranzitív halmaz. Ez tehát egy speciális tulajdonság, a legtöbb halmazra nem igaz.
Illetve minden halmaznak a definíció alapján részhalmaza az üres halmaz
Igy van.
Az üres halmaz eleme minden halmaznak?
Az üres halmaz a legtöbb halmaznak nem eleme. Az üres halmaz csak annyira eleme egy "véletlenszerű" halmaznak, mint bármilyen más halmaz.
Gondolom, a helyes válasz {{a,b},a,b,c}, ugye?
Jól gondolod.
Voltaképpen egy halmaz onnantól halmaz, hogy én azt kijelölöm?
A halmazelmélet axiómái garantálják bizonyos halmazok létezését. Pl. egy axióma garantája az üres halmaz létezését, végtelen halmaz létezését, két halmaz egyesítésének létezését, vagy egy halmaz hatványhalmazának létezését. Javaslom, hogy olvasd el a Hajnal-Hamburger: Halmazelmélet könyv I. részét (kb. 120 oldal).
Nem. Az általad megadott halmaznak egyetlen x eleme van (a két külső kapcsos zárójel nélküli halmaz), tehát a hatványhalmazának két eleme van: az üres halmaz és az eredeti {x} halmaz.
Hajnal-Hamburger akkor hív egy halmazt jónak, ha tranzitív és az eleme reláció jólrendezi. Tranzitív, de nem jó halmazra példa a {0,1,{1}}, ahol 0={}, 1={0}. Ez azért nem jó, mert a 0 és az {1} nem összehasonlíthatók, azaz egyik sem eleme a másiknak.
Ezek szerint A={a,b,c} halmaznak részhalmaza {a,b}, de nem eleme.
Viszont egy B={{a,b},c} halmaznak {a,b} eleme és nyilván részhalmaza is.
Tehát kimondhatjuk, hogy minden halmaz, ami eleme egy másik halmaznak, egyúttal részhalmaz is, viszont fordítva ez nem igaz.
Illetve minden halmaznak a definíció alapján részhalmaza az üres halmaz, hiszen az üres halmaz minden elemét tartalmazza egy tetszőlegesen választott halmaz. Az üres halmaz eleme minden halmaznak?
A fenti A és B halmazra A U B mivel egyenlő? Gondolom, a helyes válasz {{a,b},a,b,c}, ugye?
Voltaképpen egy halmaz onnantól halmaz, hogy én azt kijelölöm? Tehát a hatványhalmaz tulajdonképpen legenerálja ezeket a kijelöléseket és ezzel lesz ő "több", mint az eredeti halmaz?
Off: csakis a kérdező olvtárs megzavarására vannak olyan halmazok, amiknek minden eleme egyben részhalmaz is. Ilyenek pl: J0={}, J1={{}}, J2={{},{{}}}, J3={{},{{}},{{},{{}}}}
Kicsit olvashatóbban: J0={}, J1={J0}, J2={J0,J1}, J3={J0,J1,J2}
Az X halmaz akkor részhalmaza az Y halmaznak, ha az X minden eleme az Y-nak eleme. Általában egy halmaz elemei nem részhalmazok. Pl. az {1} halmaznak egyetlen eleme az 1, de részhalmaza kettő van, amik egyike sem az 1: {} és {1}. Mindazonáltal egy halmaz eleme is lehet részhalmaz, pl. ilyen az {1,{1}} halmaz, aminek két eleme van (az 1 és az {1}) és négy részhalmaza ({}, {1},{{1}},{1,{1}}). Ellenben egy halmaz sosem eleme önmagának, ezt egy axióma biztosítja.
Ha A={a,b,c}, akkor P(A)={(a,b),(b,c),(a,c)}
Nem. Ha A={a,b,c}, akkor P(A)={{},{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}}. Egy n elemű halmaz hatványhalmaza 2n elemű, hiszen minden részhalmazt jellemez n darab igen/nem kérdés, nevezetesen hogy az egyes elemek benne vannak-e vagy sem.
Ha a halmazelméletben az (a,b) párt használod, akkor definiálnod kell, hogy mit értesz alatta. Általában rendezett párt értenek alatta, aminek az egyik lehetséges definíciója az, hogy {{a},{a,b}}. Másképpen is lehet a pár fogalmát definiálni, pl. hogy {{0,a},{1,b}}, ahol 0={} és 1={0}.
Azt is tudnod kell, hogy a halmazelméletben (és ezért a matematikában is) minden objektum egy halmaz, még akkor is ha nem úgy gondolunk rá. Tehát a 3/4, a pi, az összeadás, a valószínűség, a sakk és a lehetséges stratégiák a sakkra: ezek mind-mind halmazok valami faramuci módon definiálva.
Nem tudom mit jelöltél sima zárójelekel (), de a halmazokat most jelöljük úgy, hogy {elem1, elem2, elem3,}
A fenti halmaznak elemei:
elem1
elem2
elem3
A fenti halmaz részhalmazai azok a halmazok amelyek úgy állnak elő, hogy vesszük a kapcsoszárójeleinket, és valahány elemet belepakolunk (akár 0-át).
Tehát a fenti halmaz részhalmazai:
{}
{elem1}
{elem1, elem2}
{elem1, elem2, elem3}
Néhány elsőre extrém példával lehet igazán érteni:
A lenti halmaz az üres halmaz:
{}
A következő halmaz egy olyan halmaz, amely az üres halmazt tartalmazza elemként. Természetesen ez nem egyenlő az üres halmazzal, hiszen az üres halmaz nem tartalmaz semmit, de ez tartalmaz egy üres halmazt.
X = {{}}
Nézzük meg, hogy mik a fenti X halmaz részhalmazai:
{}
{{}}
Vagyis X hatványhalmaza ez:
{{{}},{}}
Igazából a teljes matematika felépíthető 'csak kapcsoszárójelekből és vesszőkből', vagyis az üres halmazból konstruált halmazokból.
Igazából a valódi kérdés, ami ez utóbbit is tisztázhatja: Mi a különbség a részhalmaz és az elem között?
Ha A={a,b,c}, akkor P(A)={(a,b),(b,c),(a,c)}
Ugyanakkor {a,b} eleme A-nak. De (a,b) elem, {a,b} pedig halmaz? Ezek szerint P(A)-nak az a-ból és b-ből képzett párja elemként viselkedik, A-ban pedig ugyanez halmaz?