1. Nemzetközi Matematikai Diákolimpia/2. Feladat – Wikikönyvek
Mi a mértani helye azon pontoknak, amelyekre teljesül hogy rajta van valamely ilyen szakaszon úgy, hogy? 6. [ szerkesztés] Adott egy forgáskúp. Írjunk bele gömböt, majd e gömb köré rajzoljunk hengert úgy, hogy a henger és a kúp alaplapja egy síkba essen. Legyen a kúp, a henger térfogata. Bizonyítsuk be, hogy. Keressük meg a legkisebb -t, amire, majd szerkesszük meg azt a szöget, amelyet minimumánál a kúp alkotói a tengelyével bezárnak. 7. [ szerkesztés] Adott egy szimmetrikus trapéz, amelynek alapja illetve, magassága pedig. Szerkesszük meg a szimmetriatengely azon pontját, amiből a szárak derékszög alatt látszanak. Számítsuk ki távolságát a száraktól. Mi a feltétele annak, hogy egyáltalán létezzen ilyen pont? Megoldás
Mutassuk meg, hogy minden -re az egyenes átmegy egy állandó ponton. Milyen utat jár be a két négyzet középpontját összekötő szakasz felezőpontja? 6. [ szerkesztés] A és sík egymást a egyenesben metszi, és a síknak, a síknak olyan pontja, amely nincs rajta -n. Szerkesszük meg azt az húrtrapézt (), melynek csúcsa -n, csúcsa a síkban van, s amelybe kört írhatunk. Megoldás
Vajon ha Epimenidész nem kiáltja el magát, vagy nem lenne krétai; akkor is bizonyítottnak gondolhatnánk, hogy van egy "igazmondó" krétai? Eszerint egy tényigazság attól is függhet, hogy ki mit állít róla? Lehet bogozni, van-e hiba az utóbbi gondolatmenetben (és ha van, hol), mi nem vállalkozunk rá. A paradoxont azért tartják sokan mégis logikai antinómiának, mert egyszerű átfogalmazása a Russell-paradoxon logikai megfelelője. Epimenidész kijelentése ugyanis egyes szám első személyben átfogalmazható így is: "Nekem, mint krétainak, minden mondatom hazugság". Ez pedig - a "minden mondatom" kifejezést a szűkebb "ez a mondatom" kifejezésre cserélve: "Nekem, mint krétainak, ez a mondatom is hazugság". Ez már maga a Russell-antinómia, ugyanis ha a fenti mondat igaz, akkor hazugság, míg ha nem igaz, akkor nem hazugság, tehát igaz. 6. [ szerkesztés] Adjuk meg azon osztály formális, intenzionális definícióját, amely pontosan azon halmazokat tartalmazza elemként, melyek maguk nem elemei egy halmaznak sem!
Létezik-e ez az osztály? Segítség: (melyik közismert) halmaz-e ez az osztály? Legyen a neve Q, ekkor pl. Q:= {x∈ H | ¬∃y∈ H:(x∈y)}. De természetesen írható az is, hogy Q:= {x∈ H | ∀y∈ H:(x∉y)}. Persze Q üres, hiszen ha x halmaz, akkor mindig eleme a {x} halmaznak (egyelemű halmazt bármiből képezhetünk, csak valódi osztályból nem), tehát nincs olyan x halmaz, amely ne lenne eleme egy másik halmaznak, tehát Q-nak nincs eleme, ezért vagy egyed, vagy az üres osztály; de a feladat szerint osztály, nem lehet tehát egyed; ezért nem lehet más, csak az üres halmaz. Tehát Q halmaz, mégpedig az üres, és így persze létezik. 7. [ szerkesztés]
a). Igaz-e, hogy az Ü:= {x | x≠x} definíció értelmes, létező osztályt ad meg, mégpedig az üres osztályt? b). Vajon az Ω:= {x | x=x} definíció létező osztályt ad meg? a). Mindenekelőtt azt kell tisztázni, mit értünk a ≠ jel alatt. Ha individuumegyenlőséget, akkor az a helyzet, hogy természetesen semmi sem nem-egyenlő önmagával. Az Ü osztálynak ezért nincs eleme, az valószínűleg az üres osztály.
A Wikikönyvekből, a szabad elektronikus könyvtárból. E fejezetben közlünk elképzelhető megoldásokat a könyvben szereplő gyakorlatokra. A feladatok megoldásánál néha feltételezzük, hogy az Olvasó ismeri a naiv halmazelmélet fogalmait, egyszerűbb módszereit (tehát néha lehetnek kisebb "előreugrások" ama "aktuális" fejezethez képest, amelyben a feladatot kitűztük, ha gond van a feladattal, néha célszerűbb az aktuális után következtő 1-2 fejezetet is átböngészni). Alapfogalmak [ szerkesztés]
1. [ szerkesztés]
Adjunk meg öt osztályt! megoldás: például {a}, {á}, {b}, {c}, {cs}, azaz a magyar ábécé első öt hangját tartalmazó osztályok;
megoldás: Például az univerzális osztály, a minimálosztály, az üres osztály, az egyedek osztálya, meg a halmazok osztálya. megoldás: Például az Olvasóból álló osztály {O}, meg a Tankönyvíróból álló osztály {T}, valamint az az osztály, ami az előző kettő egyedet tartalmazza {O, T}; valamint az az osztály, ami az előző egy-egy egyedből álló egy-egy osztályt tartalmazza {{O}, {T}}; valamint az az osztály, ami az olvasóból álló osztályt tartalmazza {{O}}.... s. í. t.
Matematikai értelemben az 1).