Teoría de conjuntos

Un diagrama de Venn que ilustra la intersección de dos conjuntos.

La teoría de conjuntos es una rama de la lógica matemática que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas. Los conjuntos y sus operaciones más elementales son una herramienta básica en la formulación de cualquier teoría matemática.[1]

La teoría de los conjuntos es lo suficientemente rica como para construir el resto de objetos y estructuras de interés en matemáticas: números, funciones, figuras geométricas,...; gracias a las herramientas de la lógica, permite estudiar los fundamentos de aquella. En la actualidad se acepta que el conjunto de axiomas de la teoría de Zermelo-Fraenkel es suficiente para desarrollar toda la matemática.

Además, la propia teoría de conjuntos es objeto de estudio per se, no sólo como herramienta auxiliar, en particular las propiedades y relaciones de los conjuntos infinitos. En esta disciplina es habitual que se presenten casos de propiedades indemostrables o contradictorias, como la hipótesis del continuo o la existencia de un cardinal inaccesible. Por esta razón, sus razonamientos y técnicas se apoyan en gran medida en la lógica.

El desarrollo histórico de la teoría de conjuntos se atribuye a Georg Cantor, que comenzó a investigar cuestiones conjuntistas «puras» del infinito en la segunda mitad del siglo XIX, precedido por algunas ideas de Bernhard Bolzano e influido por Richard Dedekind. El descubrimiento de las paradojas de la teoría cantoriana de conjuntos, formalizada por Gottlob Frege, propició los trabajos de Bertrand Russell, Ernst Zermelo, Abraham Fraenkel y otros a principios del siglo XX.

Ejemplo 1

En una escuela hay 130 alumnos, 50 juegan con una pelota en el receso, 15 juegan a la cuerda y solo 25 juegan ambas. ¿Cuántos alumnos juegan con una pelota o cuerda? ¿Cuantos alumnos no juegan con una pelota? ¿Cuantas personas no juegan ambas?

Other Languages
Alemannisch: Mengenlehre
አማርኛ: ሥነ ስብስብ
žemaitėška: Aibiu teuorėjė
беларуская: Тэорыя мностваў
беларуская (тарашкевіца)‎: Тэорыя мностваў
bosanski: Teorija skupova
čeština: Teorie množin
Deutsch: Mengenlehre
Ελληνικά: Θεωρία συνόλων
English: Set theory
Esperanto: Aroteorio
euskara: Multzo-teoria
føroyskt: Mongdarlæra
hrvatski: Teorija skupova
Bahasa Indonesia: Teori himpunan
íslenska: Mengjafræði
日本語: 集合論
Basa Jawa: Téori impunan
Gĩkũyũ: Thiori ya Seti
한국어: 집합론
lietuvių: Aibių teorija
latviešu: Kopu teorija
Bahasa Melayu: Teori set
မြန်မာဘာသာ: အစုသီအိုရီ
नेपाल भाषा: सेट सिद्धान्त
Nederlands: Verzamelingenleer
norsk nynorsk: Mengdelære
ਪੰਜਾਬੀ: ਸੈਟ ਸਿਧਾਂਤ
Pälzisch: Mengenlehre
Piemontèis: Teorìa dj'ansem
پنجابی: سیٹ تھیوری
русиньскый: Теорія множин
Scots: Set theory
srpskohrvatski / српскохрватски: Teorija skupova
සිංහල: කුලක වාදය
Simple English: Set theory
slovenčina: Teória množín
slovenščina: Teorija množic
српски / srpski: Теорија скупова
svenska: Mängdteori
татарча/tatarça: Күплек теориясе
українська: Теорія множин
oʻzbekcha/ўзбекча: Toʻplamlar nazariyasi
Tiếng Việt: Lý thuyết tập hợp
West-Vlams: Verzoameliengeleer
Volapük: Konletateor
Winaray: Teyorya set
吴语: 集合论
中文: 集合论
文言: 集論
Bân-lâm-gú: Chi̍p-ha̍p-lūn
粵語: 集合論