Clase (teoría de conjuntos)

Clase (teoría de conjuntos)

En teoría de conjuntos y sus aplicaciones en matemáticas, una clase es una colección de conjuntos (u otros objetos matemáticos) que no necesariamente es un conjunto. El concepto de clase aparece al intentar "agrupar" todos los conjuntos (u objetos) que comparten una cierta propiedad.

En la teoría de conjuntos de Zermelo-Fraenkel (ZF) se denomina de manera informal "clase" a toda propiedad expresada por una fórmula de su lenguaje, aun cuando no pueda demostrarse que existe un conjunto que contenga todos los objetos con esa propiedad, en cuyo caso se denomina una clase propia. El uso de las clases es entonces a través de notación. Sin embargo existen otras teorías, como la teoría de conjuntos de Von Neumann-Bernays-Gödel (NBG), en las que las clases son objetos de pleno derecho y puede establecerse una distinción entre ambos tipos de "colecciones de objetos".

Ejemplos de clases propias son la clase universal, la clase R de la paradoja de Russell o la clase de todos los ordinales.

Clases en ZF

En ZF se introduce la noción de clase como un convenio de notación:

Una clase es una expresión del tipo {x : φ(x)}, donde φ es una fórmula con (al menos) la variable libre x.

Las clases suelen denotarse por letras mayúsculas, A, B, ... Esta definición se complementa con una serie de reglas informales para interpretar las fórmulas donde aparezcan clases. Por ejemplo, si A y B son clases definidas por las fórmulas φ y ψ, entonces:

AB significa: ∀x, φ(x) → ψ(x)
A = B significa: ∀x, φ(x) ↔ ψ(x)
xA, ξ(x) significa: ∀x, φ(x) → ξ(x)
xAB, ξ(x) significa: ∀x, φ(x) ∧ ψ(x) → ξ(x)

Puede demostrarse que a cada conjunto a le corresponde una clase —precisamente, la clase {x: xa}—, pero existen clases propias, clases que no pueden ser conjuntos, o de lo contrario llevan a contradicción. Algunos ejemplos son la clase universal V = {x: x = x} y la clase R = {x: xx} (que llevan a la paradoja de Russell), o la clase de todos los ordinales On = {α: α es un ordinal} (que lleva a la paradoja de Burali-Forti).

Clases en NBG

En NBG, el objeto fundamental de la teoría es la clase, y se distingue a las clases propias de los conjuntos de manera sencilla:

Un clase a es un conjunto si es elemento de alguna otra clase, esto es, si existe otra clase B tal que aB. De lo contrario es una clase propia.

Los axiomas de NBG establecen las propiedades de clases propias y conjuntos, de tal manera puede demostrarse la existencia de las clases propias mencionadas anteriormente. Sin embargo, NBG es una extensión conservativa de ZF: restringiéndose a las fórmulas que sólo "hablan" de conjuntos, NBG y ZF prueban los mismos teoremas.

Referencias

  • Holmes, M. Randall. «Alternative Axiomatic Set Theories» (en inglés). The Stanford Encyclopedia of Philosophy. Consultado el 13-08-2011.
  • Jech, Thomas (2003) (en inglés). Set Theory. Springer Monographs in Mathematics (3ª edición). Berlín, Nueva York: Springer-Verlag. ISBN 978-3-540-44085-7. 
  • Levy, A. (1979) (en inglés). Basic Set Theory. Berlín, New York: Springer-Verlag. 
  • Weisstein, Eric W.. «Set Class» (en inglés). MathWorld. Consultado el 13-08-2011.

Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • Teoría de conjuntos de Von Neumann-Bernays-Gödel — La teoría de conjuntos de von Neumann Bernays Gödel (NBG) es una teoría de conjuntos axiomática. Su noción primitiva es la de clase, en lugar de conjunto como en ZF. A diferencia de otras teorías de conjuntos, NBG es finitamente axiomatizable.… …   Wikipedia Español

  • Teoría de conjuntos de Morse-Kelley — La teoría de conjuntos de Morse Kelley (MK) es una teoría axiomática de conjuntos. Es similar a la teoría de Von Neumann Bernays Gödel, pero MK es más potente y no son equivalentes. Contenido 1 Axiomas 1.1 Ontología y notación 1.2 Axiomas… …   Wikipedia Español

  • Número cardinal (teoría de conjuntos) — Este artículo trata sobre números cardinales en teoría de conjuntos axiomática. Para una introducción más básica, véase Número cardinal. Comparación de los cardinales numerable y continuo. Cada sucesión binaria, compuesta por una cantidad… …   Wikipedia Español

  • Número ordinal (teoría de conjuntos) — Este artículo trata sobre números ordinales en teoría de conjuntos axiomática. Para una introducción más básica, véase Número ordinal. Representación del ordinal ωω. Cada vuelta alrededor de esta espiral representa una potencia entera de ω: la… …   Wikipedia Español

  • Clase — puede referirse a: En biología, la clase es un grupo taxonómico que comprende varios órdenes de plantas o animales con muchos caracteres comunes. En sociología, la clase es un tipo de estratificación social basada en criterios económicos. Son… …   Wikipedia Español

  • Teoría de categorías — En este artículo se detectaron los siguientes problemas: Necesita ser wikificado conforme a las convenciones de estilo de Wikipedia. Podría ser difícil de entender para lectores interesados en el tema. Por favor …   Wikipedia Español

  • Teoría del orden — La teoría del orden es una rama de la matemática que estudia varias clases de relaciones binarias que capturan la noción intuitiva del orden matemático. Este artículo da una introducción detallada a este campo e incluye algunas de las… …   Wikipedia Español

  • Teoría de sistemas — La teoría general de sistemas (TGS) o teoría de sistemas o enfoque sistémico es un esfuerzo de estudio interdisciplinario que trata de encontrar las propiedades comunes a entidades llamadas sistemas. Éstos se presentan en todos los niveles de la… …   Wikipedia Español

  • Teoría de juegos — La teoría de juegos es un área de la matemática aplicada que utiliza modelos para estudiar interacciones en estructuras formalizadas de incentivos (los llamados juegos) y llevar a cabo procesos de decisión. Sus investigadores estudian las… …   Wikipedia Español

  • Conjuntos numéricos — Uno o varios wikipedistas están trabajando actualmente en este artículo o sección. Es posible que a causa de ello haya lagunas de contenido o deficiencias de formato. Si quieres, puedes ayudar y editar, pero por favor: antes de realizar… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”