Sunteți pe pagina 1din 7

1

TABLA DE CONTENIDO

1. Introduccin ..................................................................... Error! Bookmark not defined.
2. Fundamentos tericos de Conjunto ................................................................................... 3
2.1 La teora de conjunto como teora del infinito actual ................................................. 3
2.2 La teora de conjuntos como fundamento de la matemtica ...................................... 4
2.3 Compresin e inteligibilidad de Teora de Conjuntos ................................................ 4
2.3.1 Definicin Matemtica .............................................................................. 4
2.3.2 Lgica y Teora de Conjuntos ................................................................... 5
2.3.3 Conjuntos, Elementos y Pertenencia ......................................................... 5
3. Matemtica y Filosofa en la Teora de Conjuntos ............................................................ 6
4. Conclusin ......................................................................................................................... 6
5. Bibliografa ........................................................................................................................ 7

2

TABLA DE ILUSTRACIONES












3

1.

El concepto de conjunto es fundamental es todas la ramas de matemtica y ciencias,
incluyendo la ciencias de la computacin. En este trabajo se abordar las nociones de teora de
conjunto relacionadas con los sistemas, no enfatizando demasiando en demostraciones, ni
axiomas. Desde un punto de vista evolutivo estas ideas nacen de la necesidad del hombre
identificar y agrupar objetos llamados elementos, por lo anterior es vlido decir que esta teora es
tan primitiva como es hombre mismo.



2. Fundamentos tericos de Conjunto

2.1 La teora de conjunto como teora del infinito actual
Durante la poca del renacimiento nmeros matemticos relacionaban los numero como
objetos infinitos, este dogmatismo limitaba la evolucin de conceptos como coleccin de objetos,
relaciones mutuas (operaciones con conjunto), multiplicidad (cardinalidad). la matemtica es la
ciencia del infinito, el objeto de la teora de conjuntos es el infinito actual. (Weyl, 1925). Segn
Weyl la definicin de resulta vana y cclica, pues al referenciar un elemento aplicando los
principios elementales de conjunto, resultada insuficiente cuando se compara un elemento mayor
o un subelemento dentro de un marco global. Segn (Aristteles), lo infinito es aquello fuera de
lo cual siempre hay algo, por lo tanto se puede afirmar conjunto es un concepto primitivo que
no se puede definir usando un marco referencial global.
4


2.2 La teora de conjuntos como fundamento de la matemtica
Por una parte, la teora de conjuntos es una teora matemtica entre otras teoras
matemticas, con un objeto de estudio propio y con mtodos propios, con relaciones ms o
menos profundas con otras teoras matemticas. Por otra parte, sin embargo, la teora de
conjuntos es una teora matemtica peculiar, en cuanto la mayor parte del resto de la matemtica,
en particular, todas las teoras matemticas tradicionales, son interpretables en ella. Que una
teora T sea interpretable en la teora de conjuntos significa que es posible tratar los objetos de
que T se ocupa como conjuntos, y los conceptos, las operaciones y las relaciones que le son
propias como conceptos de conjuntos, operaciones con conjuntos y relaciones entre conjuntos, y
ello de modo tal que a cada una de las proposiciones expresables en el lenguaje de T se le asocia
de manera sistemtica una proposicin conjuntista y que las proposiciones conjuntistas asociadas
a los teoremas de T son teoremas de la teora de conjuntos. Brevemente, interpretar una teora
matemtica en la teora de conjuntos equivale a reformularla como un fragmento de la teora de
conjuntos. (Resnik, 1977).

2.3 Compresin e inteligibilidad de Teora de Conjuntos
Definicin Matemtica 2.3.1
Un conjunto es una coleccin de objetos. A estos objetos los llamamos elementos del
conjunto. Cada objeto dado puede ser elemento de un conjunto. De este modo, una palabra, un
elefante, un nmero, un pas o un conjunto pueden ser elementos de un conjunto. Por supuesto,
los conjuntos son objetos y pueden ser elementos de un conjunto, esto es, hay conjuntos de
conjuntos. Bien, dado un objeto x y un conjunto A, podemos expresar que x es un elemento de
5

A o que x pertenece a A, mediante la siguiente frmula: x A. Para decir que x no es un
elemento de A o que x no pertenece a A utilizaremos la frmula siguiente: x / A. (Carlos
Badesa, 2000)

Lgica y Teora de Conjuntos 2.3.2
Hoy en da es casi imposible atravesar un curso de lgica elemental sin tropezar con varios
trminos de la teora de conjuntos. Un lenguaje formal, se nos dice habitualmente, es un conjunto
de frmulas bien formadas; las formulas bien formadas, a su vez, son secuencias de smbolos.
Pero las secuencias son en realidad conjuntos con cierta estructura especial. Tambin son
secuencias (esta vez de frmulas) las derivaciones. El concepto central de la semntica de los
lenguajes formales de primer orden es el de modelo, y en la presentacin ms habitual de este
concepto se nos dice que es un par ordenado <D, I> en el que D es el dominio del modelo e I es
una funcin, la funcin de interpretacin del modelo. Pero un dominio no es ms que un conjunto
no vaco y los pares ordenados y las funciones son tambin tipos particulares de conjuntos. Las
valuaciones, que dominan la semntica de los lenguajes de la lgica proposicional tambin son
funciones. (Leithold, 2006)


Conjuntos, Elementos y Pertenencia 2.3.3
Es habitual representar a los conjuntos por letras maysculas A, B, C, etc. A los objetos que
forman parte de un conjunto A se los llama elementos de A. Si el objeto x es un elemento del
conjunto A escribimos: xA y decimos que x pertenece a A. Si un objeto x no pertenece a un
conjunto A (esto es, no es un elemento de A), escribimos: xA. La relacin (binaria) de
6

pertenencia es otro trmino primitivo de la teora de conjuntos. La teora asume que para cada
objeto x y cada conjunto A la cuestin de si x pertenece a A o x no pertenece a A est
perfectamente determinada. (Leithold, 2006)
3. Matemtica y Filosofa en la Teora de Conjuntos
La matemtica del siglo XIX se puede resumir con la emersin de las geometras no
euclidianas, la aritmetizacin del anlisis, la sistematizacin geomtrica y el surgimiento de
formas algebraicas nuevas, los trabajos de Gauss en la teora de nmeros (seguidos por Dirichlet),
los logros en la generalidad de la geometra analtica, la teora de las funciones de Weierstrass,
Schwarz y Mittag-Leffler... (Schwarz, 1785)
Nos parece relevante enfatizar que es en este panorama intelectual que se construy la teora
de conjuntos. Esta nace, nos dice Bourbaki, debido a: "Las necesidades del Anlisis en particular
el estudio a fondo de las funciones de variables reales que se desarrolla durante todo el siglo
XIX''. [Bourbaki, N.: Elementos de historia de las matemticas, p. 46] Tal y como la conocemos
ahora es trabajo de Cantor. Este se interes por el asunto en 1872, a propsito de los problemas
de equipotencia en 1873, de la dimensin a partir de 1874, y entre 1878 y 1884 incidi sobre casi
todos los problemas de la teora de los conjuntos.

4. Conclusin
La teora de conjunto es tan primitiva como las races de la existencia humana, naci
intuitivamente, fue algo innato, comienza de la necesidad de la humanidad antigua de relacionar
y clasificar objetos que poseen caractersticas y atributos en comn. Para los autores de este
trabajo y como futuros ingenieros de sistemas en fundamental conocer las nociones filosficas,
tericas y matemticas de esta teora, diariamente se explorara y se enfrentar con problemas que
7

pueden se modelados usando la teora de conjunto. En conclusin es una rama de la matemtica
indispensable para la resolucin de enigmas en mltiples reas de las ciencias.

5. Bibliografa
Aristteles. (s.f.). Fsica.
Carlos Badesa, I. J. (2000). Elementos de lgica formal. Barcelona: Ariel Filosofa.
Leithold, L. (2006). Preclculo. Pensilvania: Universidad of Pensilvania Press.
Resnik, M. (1977). Mathematics as a science of patterns. Oxford: Oxford University Press,.
Weyl, H. (1925). Nociones Primitivas de Matematica. Londres: Columbia Editor.

S-ar putea să vă placă și