Aibių teorija

Aibių teorija – matematinės logikos šaka, kuri nagrinėja aibes – objektų rinkinius.

Aibės yra užrašomos atskiriant jos elementus (skaičius arba raides) kableliais ir apgaubiant figūriniais skliaustais. Pavyzdžiui, aibė  yra sudaryta iš elementų 1, 2 ir 3.

Aibių teorijos pradininkai buvo Georgas Kantoras ir Ričardas Dedekindas (1870 m.).

Vengiant paradoksų (pavyzdžiui, Raselo paradokso) aibių teorija buvo aksiomatizuota.Joan Bagaria, "Set Theory", „The Stanford Encyclopedia of Philosophy“ (Winter 2017 Edition), Edward N. Zalta (ed.),  Pirma aibių teorijos aksiomatizacija pasiūlyta Ernsto Zermelo 1908 m. ir papildyta Abrahamo Frenkelio bei Toralfo Skolemo iki standartinės Zermelo-Frenkelio aibių teorijos.Joan Bagaria, "Set Theory", „The Stanford Encyclopedia of Philosophy“ (Winter 2017 Edition), Edward N. Zalta (ed.), 

 Aibių veiksmai 
Yra 3 pagrindiniai aibių veiksmai:
Sąjunga. Aibių  ir  sąjunga žymima . Rezultatas yra nauja aibė, kurioje yra visi skirtingi A ir B elementai. Pavyzdžiui, aibių } ir } sąjunga yra aibė }.
Sankirta. Aibių  ir  sankirta žymima . Rezultatas yra nauja aibė, kurioje yra atrinkti bendri  ir  aibių elementai. Pavyzdžiui, aibių } ir } sankirta yra aibė }.
Skirtumas. Aibių  ir  skirtumas žymimas . Rezultatas yra nauja aibė, kuri yra gauta iš aibės  išmetus visus elementus, kurie priklauso aibei . Pavyzdžiui, aibių } skirtumas yra aibė }.

 Išnašos 

Kategorija:Matematinė logika
Kategorija:Aibių teorija