Está en la página 1de 58

c  

 
En esta lección
Ã Ú endes cómo se usa el razonamiento inductivo en la ciencia y en las
matemticas
à dsas el azonamiento inductivo aa hace conjeturas es ecto a
sucesiones de númeos y fomas
El razonamiento inductivo es el oceso de obseva datos, econoce atones,
y hace genealizaciones basndose en esos atones. Es obable que uses el
azonamiento inductivo todo el tiem o sin date cuenta de ello. Po ejem lo,
su ongamos que a tu ofesoa de histoia le gusta hace exmenes ³so esa´. Tú
obsevas que, duante los imeos cuato ca tulos del libo, hizo un examen al
da siguiente des ués de cubi la tecea lección. Basndote en el atón de tus
obsevaciones, odas genealiza que tends un examen des ués de la tecea
lección de cada ca tulo. dna genealización basada en el azonamiento inductivo
se denomina conjetura. El Ejem lo Ú en tu libo esenta un ejem lo de cómo se
usa el azonamiento inductivo en la ciencia. He aqu oto ejem lo.
a aEn la clase de fsica, el gu o de Dante soltó una elota desde difeentes altuas y
midió la altua del ime ebote. Registaon sus esultados en esta tabla.
Haz una conjetua basada en sus hallazgos. Des ués edice la altua del ime
ebote aa una cada de 280 cm.
è ÿ ÿi divides cada altua del ime ebote ente la coes ondiente altua de la

cada, obtienes los siguientes esultados: 0.75, 0.74, 0.7625, 0.75, 0.76, 0.7375.
Basndote en estos esultados, odas hace la siguiente conjetua: ³Paa esta
elota, la altua del ime ebote siem e se de a oximadamente 75% de
la altua de la cada´.
ÿegún esta conjetua, la altua del ime ebote aa una altua de cada de
280 cm sea de a oximadamente 280 · 0.75, ó 210 cm.
En el Ejem lo B de tu libo se ilusta cómo uede usase el azonamiento
inductivo aa hace una conjetua sobe una secuencia de númeos. He aqu oto
ejem lo.
a aConsidea la secuencia
10, 7, 9, 6, 8, 5, 7, . . .
Fomula una conjetua es ecto a la egla aa genea la secuencia. Des ués
encuenta los siguientes tes téminos.
Ú 
     120 100 160 40 200 80
Ú 
      90 74 122 30 152 59


£.1
ÚÚ
Π 
        å   Î 
Ë  å 
 
  
 Î c  
  

è ÿ ubseva la foma en que los númeos cambian de témino a témino.

El ime témino de la secuencia es 10. Le estas 3 aa obtene el 2o témino.


Des ués le sumas 2 aa obtene el 3e témino. Continúas altenando ente esta
3 y suma 2 aa genea los téminos estantes. Los siguientes tes téminos son
4, 6, y 3.
En la investigación, buscas un atón en una secuencia de fomas.
 !" #   ! $  !
ubseva la secuencia de fomas en la investigación en tu libo. Com leta cada
aso de la investigación. Ú continuación se encuentan algunas sugeencias aa
cada aso, si as lo equiees.
% !οLas fomas son iguales o difeentes? ¿Cómo cambia la oción
sombeada de una foma im a a la siguiente?
% !En ime luga, concéntate en la foma del olgono. ¿El olgono
cambia de una foma a a la siguiente? ÿi es as, ¿cómo cambia? En segundo
luga, concéntate en los equeños cculos que estn dento de la foma. ¿Cómo
cambian estos cculos de una foma a a la siguiente?
% !&La siguiente foma es la 7a foma. Como es una foma im a, usa los
atones que descibiste en el Paso 1 aa descifa cómo se ve. La 8a foma
es una foma a, de manea que debe segui los atones que descibiste en el
Paso 2.
% !'ubseva que las fomas im aes asan o un ciclo que se e ite cada
ocho téminos. Ús ues, o ejem lo, las fomas 1a, 9a, y 17a se ven iguales;
las fomas 3a, 11a, y 19a se ven iguales, y as sucesivamente. dsa esta idea aa
aveigua cómo se vea la foma 25a.
% !(¿Cuntos lados tiene la 2a foma? ¿La 4a? ¿La 6a? ¿La enésima? ¿Cuntos
lados tend la 30a foma? ¿Cómo se odenan los untos en la 30a foma?
Lee el texto que sigue la investigación en tu libo.
1a
«««««
3a 5a 7a
«
9a 11a
10
è3
796857
è2 è3 è2 è3 è2
Îå   Œ  
       
Ë  å 
 

c   
 
En esta lección
à Conoces la idea del razonamiento deductivo
à dsas el azonamiento deductivo aa justifica los asos en la solución de
una ecuación
à dsas el azonamiento deductivo aa ex lica o qué algunas conjetuas
geométicas son cietas
En la Lección 2.1 usaste el azonamiento inductivo aa hace conjetuas
basndote en atones obsevados. Paa ex lica ñ es cieta una conjetua,
necesitas usa el azonamiento deductivo. El razonamiento deductivo es el oceso
de mosta que cietas afimaciones son los esultados lógicos de hechos ace tados.
Lee lo efeente al azonamiento deductivo en la gina 100 de tu libo.
Cuando justificas cada aso del oceso de esolve una ecuación, ests usando el
azonamiento deductivo. El Ejem lo Ú de tu libo muesta los asos aa la
solución de una ecuación algebaica es ecfica. He aqu oto ejem lo.
a aResuelve la ecuación aa a. Justifica cada aso del oceso de la solución.
5a2 è 19aè 45 è 5a*aè 2)
è ÿ 5a2 è 19aè 45 è 5a*aè 2) La ecuación oiginal.

5a2 è 19aè 45 è 5a2 è 10aPo iedad distibutiva.


19aè 45 è 10aPo iedad de sustacción de la igualdad.
è45 è è9aPo iedad de sustacción de la igualdad.
5 è aPo iedad de división de la igualdad.
Lee atentamente el Ejem lo B en tu libo. Úll se muestan tes ejem los de
una semiecta que biseca a un ngulo obtuso. En cada caso, los dos ngulos
conguentes ecién fomados son agudos. Ú ati de estos ejem los se usa el
 
 
 
  aa foma la siguiente conjetua.
ÿi se biseca un ngulo obtuso, entonces los dos ngulos conguentes ecién
fomados son agudos.
dna vez que se establece la conjetua, se usa el  
  
  aa
mosta que es cieta. ubseva que al usa una vaiable,  aa e esenta la
medida de un ngulo obtuso, el agumento muesta que la conjetua es cieta
aa
ngulo obtuso. En geneal, aa mosta que una conjetua
³si-entonces´ siem e es cieta, debes mosta que la ate ³entonces´ es cieta
aa
caso que satisfaga la ate ³si´. Incluso si dieas ejem los de miles
de ngulos obtusos que fuean bisecados aa foma ngulos agudos, no habas
demostado que la conjetua es cieta aa 
ngulo obtuso.

ÚÚ
  c   
  

En esta investigación, usas el azonamiento inductivo aa foma una conjetua
y el azonamiento deductivo aa ex lica o qué es cieta.
 !" #"! !  !
ubseva los dos diagamas al inci io de la investigación. En cada diagama,
Úè è èè.
Paa cada diagama, encuenta las longitudes de Úèy è. ¿Qué obsevas? Debes
enconta que en cada caso, Úèè è.
Úhoa dibuja tu o io segmento Úÿitúa los untos y sobe el segmento,
de manea que Úè è èè y esté ms ceca del unto Úque del unto . Mide
Úèy è. Debes enconta que, como en los diagamas de la investigación,
Úèè è.
dsa tus hallazgos aa com leta la conjetua que se inicia en el libo. Tu
conjetua com leta debe se simila a la siguiente.
ÿi Úèè tiene los untos Ú y en ese oden, y Úè è èèentonces los
segmentos tasla ados Úy son conguentes *esto es, Úèè è).
Esta conjetua se conoce como la o iedad de los segmentos tasla ados. Úhoa,
tata de usa el azonamiento deductivo aa ex lica o qué la conjetua es
cieta. *ÿugeencia: dsa los hechos de que èes una ate tanto de Úècomo de
èy que las otas ates de Úèy èÚa sabe, Úè y èèÚson conguentes.)
Des ués de intenta escibi tu o ia ex licación, com ala con la ex licación
siguiente.
Como Úè è èèÚ è . ÿi se suma la misma cantidad a ambos lados de esta
ecuación, los lados seguin siendo iguales. ÿuma a ambos lados da como
esultadoÚ è è è . Peo Ú è es igual a Úla longitud de
Úè. Y è es igual a la longitud de è. Ús ues, Úè . Esto es,
Úèè è.
En tu
ù 

Ex esiones algebaicas.- ÿon cantidades que se e esentan o númeos constantes y o


letas que también e esentan cantidades. Toda ex esión algebaica debe contene los
siguientes elementos:

ex onente

M ax3

signo facto liteal o

vaiable

facto numéico o

coeficiente

La ex esión algebaica anteio es la ms sim le y es denominada témino.

Téminos semejantes.- ÿon aquellos que tienen él o los mismos factoes liteales y cada uno
de ellos tiene es ectivamente el mismo ex onente.

ÿon téminos semejantes: 3 x 2 y 2 z y - y 2 z x 2

Nu son téminos semejantes: - a 2 b 2 c y a b 2 c 2

ÚDICIÓNuÿdMÚ

La suma de ex esiones algebaicas se obtiene agu ando los téminos semejantes y


educiendo los coeficientes, oniendo mucha atención a los signos de cada témino.

Ejem lo:

* 3x2 + 6x - 4 + 2xy ) + * 3 - 4x + 3yx - 9x2 ) =

3x2 + 6x + 2xy - 4

- 9x2 - 4x + 3yx + 3

- 6x2 + 2x + 5xy - 1

ÿi se tienen coeficientes faccionaios el ocedimiento es exactamente el mismo:

* x4 - x + 6 ) + * - + 4 x + x4 ) =
x4 - x + 6

x4 + 4 x -

x4 + x +

ÿdÿTRÚCCIÓNuREÿTÚ

ÿe ealiza la misma agu ación que aa la suma, el cambio que esenta la sustacción es
la invesión de signos en cada témino del sustaendo.

* - 3 x + 6 x2 - 9 x3 + 6 x y ) - * 2 x2 + 3x3 - 9 x y + 3 ) =

* - 3 x + 6 x2 - 9 x3 + 6 x y ) - 2 x2 - 3x3 + 9 x y - 3 =

- 9 x3 + 6 x2 - 3 x + 6 x y

- 3 x3 - 2 x2 + 9 x y - 3

-12 x3 + 4 x2- 3 x + 15 x y - 3

P R u D d C T u Ó MdLTIPLICÚCIÓN.

Paa el oducto de ex esiones algebaicas se utiliza la o iedad distibutiva de los


númeos eales; a * b + c ) = a b + a c y a * b - c ) = a b - a c , es deci, se multi lica cada
témino del 1e facto o cada témino del 2do facto, el oducto ealizado anteiomente
tiene que im lica las leyes de los signos y las leyes de los ex onentes.

Ejem los:

*-3x+6-4x2-y)*x2+3x-)=

= - x3 - 9 x2 + x + 9 x2 + 18 x - 2 - 6 x4 - 12 x3 + 4/3 x2 - 3/4 yx2 - 3/2 xy + 1/6 y =

= - 6 x4 - 33/2 x3 + 4/3 x2 - 3/4 x2y - 3/2 xy + 19 x + 1/6 y -2

Inde endientemente de él númeo de téminos de ambos factoes, el oducto se ealiza:


cada témino del ime facto o cada témino del segundo facto.

uto ejem lo:

* 3x + 6y2 - 2x2 ) * - 2 + 6x2 + 3x ) =

= - 6x + 18x3 + 9x - 12y2 + 36x2y2 + 18xy2 + 4x2 - 12x4 - 6x3 =

= - 6x + 12x3 - 12y2 + 36x2y2 + 18xy2 + 13x2 - 12x4 =


= - 12x4 + 12x3 + 36x2y2 + 13x2 - 6x + 18xy2 - 12y2

PRuDdCTuÿNuTÚBLEÿ

1) * a ± b )2 = * a ± b ) * a ± b ) = a2 ± ab ± ba + b2 = a2 ± 2ab + b2

Binomio al cuadado = Tinomio Cuadado Pefecto

³ El oducto de un binomio al cuadado es igual al cuadado del ime témino, ms el


doble oducto del imeo o el segundo témino, ms el cuadado del segundo témino ´.

Ejem los:

* x + y )2 = x2 + 2xy + y2

* 3x - 4 )2 = 9x2 - 24x + 16

* x2 + 5x )2 = x4 + 10x3 + 25x2

2) * a + b ) * a - b ) = a2 - ab + ba - b2 = a2 - b2

Binomios conjugados = Difeencia de cuadados

³El oducto de binomios conjugados es igual al cuadado del ime témino menos el
cuadado del segundo témino´.

Ejem los:

* x + y ) * x - y ) = x2 - y2

* 3x + 4 ) * 3x - 4 ) = 9x2 - 16

* 2y2 - 6 ) * 2y2 + 6 ) = 4y4 - 36

3) * a + b ) * a + c ) = a2 + ac + ba + bc = a2 + * b + c ) a + bc

Binomios con Témino Común = Tinomio de 2do gado o Cuadtico

³El oducto de binomios con témino común es igual al cuadado del ime témino, ms
el oducto de la suma de los dos téminos no comunes o el témino común ms el
oducto de los téminos no comunes´.

Ejem los:

* x + 2 ) * x - 4 ) = x2 - 2x - 8
* 3x - 1 ) * 3x + 6 ) = 9x2 + 15x - 6

* 6x2 - 8 ) * 6x2 - 7 ) = 36x4 - 90x2 + 56

DIVIÿIuN

Paa la división de ex esiones algebaicas, se equiee de la utilización de las leyes de los


signos y de las leyes de los ex onentes.

1e caso. Cuando el diviso es un monomio.

6 x2y - 4 x3y3 + 18 xy 6 x2y - 4 x3y3 + 18 xy

=++=

- ¾ xy - ¾ xy - ¾ xy - ¾ xy

= - x + x2y2 - = x2y2 - 8 x - 24

2do caso. Cuando el diviso es un binomio.

x3 - y3 1) ÿé eacomodan de mayo a meno

= ex onente con es ecto a una vaiable

x - y y se colocan dento de una galea.

2) ÿe divide él ime témino del


x2 + xy + y2
dividendo, ente él ime témino del
x - y x3 - y3
diviso.
- x3 + x2y
3) El cociente se multi lica o cada
+ x2y
témino del diviso y se coloca en los
- x2y + xy2
téminos semejantes del dividendo aa
+ xy2 - y3
educi.
- xy2 + y3
4) ÿe e iten el 2do y 3e aso aa cada
00
nuevo dividendo encontado.
Ú iomas de probabilidad
De Wiki edia, la enciclo edia libe
ÿalta a navegación, búsqueda

Los a iomas de probabilidad son las condiciones mnimas que deben veificase aa que
una función definida sobe un conjunto de sucesos detemine consistentemente sus
obabilidades. Fueon fomulados o Kolmogóov en 1933.

[editar] Ú iomas de Kolmogórov


Dado un conjunto de sucesos elementales, , sobe el que se ha definida una ı-lgeba
*léase sigma-lgeba) ı de subconjuntos de y una función P que asigna valoes eales a
los miembos de ı, a los que denominamos "sucesos", se dice que P es una obabilidad
sobe * ,ı) si se cum len los siguientes tes axiomas.

[editar] Primer a ioma

La obabilidad de un suceso Ú es un númeo eal mayo o igual que 0.

[editar] Segundo a ioma

La obabilidad del total, ȍ, es igual a 1, es deci,

[editar] Tercer a ioma

ÿi son sucesos mutuamente excluyentes *incom atibles dos a dos, disjuntos o


de intesección vaca dos a dos), entonces:

ÿegún este axioma se uede calcula la obabilidad de un suceso com uesto de vaias
altenativas mutuamente excluyentes sumando las obabilidades de sus com onentes.

En téminos ms fomales, una obabilidad es una medida sobe una ı-lgeba de
subconjuntos del es acio muestal, siendo los subconjuntos miembos de la ı-lgeba los
sucesos y definida de tal manea que la medida del total sea 1. Tal medida, gacias a su
definición matemtica, veifica igualmente los tes axiomas de Kolmogóov. Ú la tena
fomada o el es acio muestal, la ı-lgeba y la función de obabilidad se la denomina
aspacio probabilístico, esto es, un "es acio de sucesos" *el es acio muestal) en el que se
han definido los osibles sucesos a considea *la ı-lgeba) y la obabilidad de cada
suceso *la función de obabilidad).

[editar] Propiedades que se deducen de los a iomas


De los axiomas anteioes se deducen otas o iedades de la obabilidad:

1. donde el conjunto vaco e esenta en obabilidad el suceso


imposible
2. Paa cualquie suceso
3.
4. ÿi entonces
5.

[editar] ajemplos
Como ejem lo se uede toma como es acio muestal a los osibles esultados al aoja un
dado coiente , tomaemos como ı-lgeba todos los
subconjuntos osibles de ȍ *que en matemticas se denota o ) y como función de
obabilidad

donde e esenta el númeo de elementos del conjunto Ú.

Es fcil com oba que esta función veifica los tes axiomas de Kolmogóov y, o tanto,
consituye una obabilidad sobe este conjunto.

1. , uesto que es el cociente de dos númeos ositivos

2.
3. ÿi de tal manea que
entonces

con lo que
V
Ca tulo 2:

Postulados y teorema del algebra


booleana
Enlaces atocinadosMaste Medicina Estética
Postgado dnivesidad Úlcal Institución Mississi i
www.ium.es

ÿim lifique las siguientes funciones booleanas a un numeo mnimo de liteales.

Ejem lo 1:

1) X+Xl.Y

- Ú licando la tabla de ostulados y teoemas del algeba booleana esolvemos:

Buscamos en la tabla la función ms aecida a la nuesta en este caso seia Postulado 4
función *b) *P4 b):

Nos quedaa de la siguiente manea: *X+X)*X+Y)


Buscamos nuevamente en la tabla una función que se aezca a la que acabamos de
obtene, la cual seia Postulado 5 función *a) *P5 a):
ubtendemos la siguiente función: X+Y

M Inglés sin Baeas ¡Ú enda inglés hoy! Estudie en casa y a su o io itmo


www.inglessinbaeas.comEnlaces atocinados

Ejem lo 2:

2) X*Xl+Y)

Resolvemos de igual foma que en el ejem lo 1, buscamos en la tabla de ostulados y


teoemas la función que concuede con la nuesta:

*P 4 a) X.Xl+X.Y
*P5 b) X.Y

Ejem lo 3:

Xl.Yl.Z+Xl.Y.Z+X.Yl

Ú licamos *P4 a):

Teorema fundamental del álgebra


De Wiki edia, la enciclo edia libe
ÿalta a navegación, búsqueda

El teorema fundamental del álgebra establece que un olinomio en una vaiable, no


constante y con coeficientes com lejos, tiene tantas aces[1] como indica su gado,
contando las aces con sus multi licidades. En otas alabas, dado un olinomio com lejo
ñ de gado > 0, la ecuación ñ*) = 0 tiene exactamente  soluciones com lejas, contando
multi licidades. De manea equivalente:

M El cue o de los com lejos es ceado aa las o eaciones algebaicas.


M Todo olinomio com lejo de gado  se uede ex esa como un oducto de 
olinomios de la foma .

El teoema se establece comúnmente de la siguiente manea:  ñ 



 

   n   

     ñ  
 ñ    
   ñ .[2] Úunque ésta en inci io aece se una declaación ms débil, im lica
fcilmente la foma com leta o la división olinómica sucesiva o factoes lineales.

El nombe del teoema es consideado ahoa un eo o muchos matemticos, uesto que
es ms un teoema del anlisis matemtico que del lgeba.

åontenido
[oculta]

M 1 Histoia
M 2 Demostación
Ê 2.1 Coolaios
M 3 Refeencias

[editar] Historia
Pedo Rothe *Petus Roth), en su libo Ú

!
  ñ
 * ublicado en 1608),
escibió que una ecuación olinómica de gado  *con coeficientes eales) ñ tene 
soluciones. Úlbeto Giado, en su libo "#
 
    #Ú  * ublicado en
1629), aseveó que una ecuación de gado  tiene  soluciones, eo no menciona que
dichas soluciones deban se númeos eales. Ms aún, él agega que su aseveación es
vlida "salvo que la ecuación sea incom leta", con lo que quiee deci que ninguno de los
coeficientes del olinomio sea igual a ceo. ÿin embago, cuando ex lica en detalle a qué se
est efiiendo, se hace evidente que el auto iensa que la aseveación siem e es cieta; en
aticula, muesta que la ecuación

a esa de se incom leta, tiene las siguientes cuato soluciones *la az 1 tiene
multi licidad 2):
Leibniz en 1702 y ms tade Nikolaus Benoulli, conjetuaon lo contaio.

Como se menciona de nuevo ms adelante, se sigue del teoema fundamental del lgeba
que todo olinomio con coeficientes eales y de gado mayo que ceo se uede escibi
como un oducto de olinomios con coeficientes eales del cual sus gados son 1 ó 2. De
todas fomas, en 1702 Leibniz dijo que ningún olinomio de ti o a4 + 4 *con  eal y
distinto de 0) se uede escibi en tal manea. Luego, Nikolaus Benoulli hizo la misma
afimación conceniente al olinomio a4 í 4a3 + 2a2 + 4a + 4, eo ecibió una cata de
Eule en 1742 en el que le deca que su olinomio asaba a se igual a:

donde Į es la az cuadada de .

mientas que:

El ime intento que se hizo aa demosta el teoema lo hizo d'Úlembet en 1746. ÿu
demostación tena un fallo, en tanto que asuma im lcitamente como cieto un teoema
*actualmente conocido como el teoema de Puiseux) que no sea demostado hasta un siglo
ms tade. Ente otos Eule *1749), de Foncenex *1759), Lagange *1772) y La lace
*1795) intentaon demosta este teoema.

Ú finales del siglo XVIII, se esentaon dos nuevas uebas, una o James Wood y ota
o Gauss *1799), eo ambas igualmente incoectas. Finalmente, en 1806Úgand ublicó
una ueba coecta aa el teoema, enunciando el teoema fundamental del lgeba aa
olinomios con coeficientes com lejos. Gauss odujo oto a de demostaciones en 1816
y 1849, siendo esta última ota vesión de su demostación oiginal.

El ime libo de texto que contiene la demostación de este teoema fue escito o
Cauchy. ÿe tata de   #$  #%  & $ ! $  
 *1821). La ueba es la
debida a Úgand, eo sin embago en el texto no se le da cédito.

Ninguna de las uebas mencionadas ms aiba son constuctivas. Es Weiestass quien
o imea vez, a mediados del siglo XIX, menciona el oblema de enconta una ueba
constuctiva del teoema fundamental del lgeba. En 1891 ublica una demostación de
este ti o. En 1940HellmuthKnesse consigue ota ueba de este estilo, que luego sea
sim lificada o su hijo MainKnese en 1981.

[editar] Demostración
ÿea ñ un olinomio de gado . ñ es una función entea. Paa cada constante ositiva ,
existe un númeo eal ositivo  tal que
ÿi ñ no tiene aces, la función  = 1 / ñ, es una función entea con la o iedad de que aa
cualquie númeo eal İ mayo que ceo, existe un númeo ositvo tal que

Concluimos que la función  es acotada. Peo el teoema de Liouville dice que si  es una
función entea y acotada, entonces,  es constante y esto es una contadicción.

De manea que  no es entea y o tanto ñ tiene al menos una az. ñ se uede escibi o
tanto como el oducto

donde Į1 es una az de ñ y  es un olinomio de gado  í 1. Po el agumento anteio, el


olinomio  a su vez tiene al menos una aíz y se lo uede factoiza nuevamente.

Re itiendo este oceso  í 1 veces,[3] concluimos que el olinomio uede escibise


como el oducto

donde Į1... Į son las aíces de ñ *no necesaiamente distintas) y ' es una constante.

[editar] åorolarios

Como el teoema fundamental del lgeba uede se visto como la declaación de que el
cue o de los númeos com lejos es algebaicamente ceado, se sigue que cualquie
teoema conceniente a cue os algebaicamente ceados a lican al cue o de los númeos
com lejos. ÿe muestan aqu algunas consecuencias del teoema, aceca del cue o de los
númeos eales o aceca de las elaciones ente el cue o de los eales y el cue o de los
com lejos:

M El cue o de los númeos com lejos es la clausua algebaica del cue o de


númeos eales.

M Todo olinomio en una vaiable a con coeficientes eales es el oducto de un


olinomio constante de la foma a +  con  eal, y olinomios de la foma a2 + a +
 con  y  eales y 2 í 4< 0 *que es lo mismo que deci que el olinomio a2 + a
+  no tiene aces eales).

M Toda función acional en una vaiable a, con coeficientes eales, se uede escibi
como la suma de una función olinómica con funciones acionales de la foma  / *a
í )*donde  es un númeo natual, y  y  son númeos eales), y funciones
acionales de la foma *a + ) / *a2 + a + ) *donde  es un númeo natual, y , ,
, y son númeos eales tales que 2 í 4 < 0). dn coolaio de esto es que toda
función acional en una vaiable y coeficientes eales tiene una imitivaelemental.

M Toda extensión algebaica del cue o de los eales es isomofa al cue o de los
eales o al cue o de los com lejos.

ëase (álgebra)
De Wiki edia, la enciclo edia libe
ÿalta a navegación, búsqueda

En lgeba lineal, se dice que un conjunto odenado B es base de un es acio vectoial V si


se cum len las siguientes condiciones:

M Todos los elementos de B etenecen al es acio vectoial V.


M Los elementos de B foman un sistema linealmente inde endiente.
M Todo elemento de V se uede escibi como combinación lineal de los elementos de
la base B *es deci, B es un sistema geneado de V).[Nota 1]

åontenido
[oculta]

M 1 Lema de Zon y existencia de bases


M 2 ubsevaciones adicionales
M 3 Es acios de dimensión infinita
Ê 3.1 Bases de Hamel y de Hilbet
Ê 3.2 Dimensión vectoial
M 4 Temas elacionados
M 5 Véase también
M 6 Notas
[editar] Lema de Zorn y e istencia de bases
Mediante el uso del lema de Zon, es osible oba que todo es acio vectoial osee una
base. Pese a que es osible que un es acio vectoial no osea una única base, se cum le que
todo a de bases de un mismo es acio vectoial tienen la misma cadinalidad. Po se as,
tal cadinalidadsea llamada como la dimensión del es acio vectoial.

utas o iedades, consecuencias del lema de Zon:

M Todo sistema geneado de un es acio vectoial contiene una base vectoial *de
Hamel).
M Todo conjunto linealmente inde endiente en un es acio vectoial, uede se
extendido a una base.

[editar] Observaciones adicionales


1. Las bases son conjuntos odenados. Es deci que si bien {a,b,c} y {b,a,c} genean el
mismo es acio vectoial, las bases no son iguales.
2. De la obsevación anteio se des ende que las bases no son únicas. En geneal,
suele habe infinitas bases distintas aa un mismo es acio vectoial. Po ejem lo, si
, una base muy sencilla de ƒ es:

la cual es conocida como base canónica de . utas bases de son:

En geneal, toda base de esta fomada o tes vectoes linealmente inde endientes
que etenezcan a . Cuando el es acio vectoial en s mismo es un conjunto finito
entonces el númeo de bases distintas es finito.

1. ÿi V es un es acio vectoial de dimensión finita, entonces todas las bases de V sen


finitas y tendn la misma cantidad de elementos.
2. No todas las bases tienen un númeo finito de elementos. Po ejem lo, las bases del
es acio vectoial de los olinomios de una vaiable tienen infinitos elementos. dna
osible base es la fomada o las otencias de X:

[editar] aspacios de dimensión infinita


En el caso de es acios vectoiales de dimensión infinita, como los que a aecen en anlisis
funcional existen algunas distinciones etinentes que es im otante señala.

[editar] ëases de Hamel y de Hilbert

En un es acio vectoial de Hilbet de dimensión infinita existen vaias osibilidades de


extende el conce to de combinación lineal finita. De un lado si consideamos únicamente
combinaciones lineales finitas llegamos al conce to de base de Hamel o base lineal. Puede
obase que todas las bases de Hamel tienen el mismo númeo de elementos, este númeo
o cadinal se llama dimensión lineal o dimensión de Hamel. dn conjunto constituye una
base de Hamelsi y solo si:

En un es acio de dimensión de Hamel finita, se uede enconta solamente un númeo


finito de vectoes otogonales dos a dos, en cambio, cuando la dimensión de Hamel es
infinita, ueden intoducise en los es acios de Hilbet cietas "combinaciones lineales
infinitas" en téminos de vectoes otogonales. En un es acio de Hilbet de dimensión
infinita se dice que un conjunto es una base de Hilbert o base otogonal, si y solo si:

Nuevamente sucede que todas las bases otogonales tienen el mismo cadinal, o lo que se
define el conce to de dimensión de Hilbert como el cadinal de cualquie base de Hilbet.

[editar] Dimensión vectorial


La dimensión de un es acio vectoial se define como el númeo de elementos o cadinal de
una base de dicho es acio. Dado que aa todo es acio de Hilbet de dimensión infinita
odemos distingui ente bases de Hilbet y de Hamel, odemos defini la dimensión
vectoial odinaia y la dimensión vectoial de Hilbet. ÿe tiene que aa cualquie es acio
vectoial ƒ, la elación ente dimensión de Hammel y dimensión de Hilbet es la siguiente:

*1)

En es acios de dimensión finita también se ueden defini las bases de Hilbet como bases
de Hamel otogonales. De hecho, aa un es acio de dimensión finita, la dimensión de
Hilbet es igual a la dimensión de Hamel. En dimensión finita toda base de Hamel es base
de Hilbet y vicevesa, o lo que aa un es acio de dimensión finita en *1) se da siem e
la igualdad.

edito o sicao

hi otesis

a V V
 V  V V V   VV    VVV  V V
   V V  VV V  V  V V V VV   VVV  V V V
   V  V V V VV V  V   VV V V   V V V
   V V  V V V V VV V  V   VV V V V   V V
 V  VV V   VaV VVV V  V  V  V V V V  V
V   VV  V  V V V   VV VV   V V V   

ùlgebra/Teoría de grupos/Grupos
De Wikilibos, la colección de libos de texto de contenido libe.
<Álgeba | Teoa de gu os
ÿalta a navegación, busca

[editar] Semigrupos, monoides y grupos


Definición 1.1: ÿea ÿ un conjunto. dna a licación
se dice una operación binaria *o ley de composición interna) en ÿ. La imagen de
cualquie a *,) bajo la o eación * se e esenta o  * , en luga de * **,)) o de *
*,). Cuando el smbolo que e esenta la o eación es , entonces la imagen de *,) bajo
la o eación suele e esentase también o .

dna o eación binaia * sobe un conjunto ÿ se dice asociativa si

* * ) *  =  * * * )

aa cualesquiea , y  de ÿ. Cuando aa cualesquiea , de ÿ se cum le  *  =  * ,


se dice que la o eación * es conmutativa. Po lo egula usaemos el smbolo + aa
e esenta o eaciones que sean conmutativas. En geneal, cuando hagamos uso de los
smbolos o + aa e esenta o eaciones diemos que nuesta notación es,
es ectivamente, multiplicativa o aditiva.

Definición 1.£: ÿea ´ un conjunto y una o eación binaia en ´. ÿe dice que el a


es un semigrupo si la o eación es asociativa. ÿi, adems, existe un elemento tal
que

 =  = ,

entonces el a se llama un monoide.

En lo sucesivo, cuando no haya luga a confusión, nos efeiemos a un monoide


sim lemente como el monoide´, haciendo mención sólo del conjunto y dejando que la
o eación se deduzca del contexto.

El elemento aludido en la definición anteio se dice identidad o elemento neutro del


monoide´, y es único, ues si ' fuea oto elemento de ´ con las mismas o iedades,
entonces = ' = '. Paa e esenta identidades usaemos el smbolo 1 en notación
multi licativa y el smbolo 0 en notación aditiva.

Re esentaemos o | ´ | al cadinal de un monoide´. ÿi  es el elemento de un monoide´


y es un enteo ositivo, definimos

Cuando nuesta notación sea aditiva escibiemos  en luga de .


ÿea ´ un monoide y elementos de ´con . ÿe define inductivamente
el oducto de como

Definimos

Con estas definiciones, se cum le el

Teorema 1.3 (Ley asociativa general):ÿ ´ 


$
   ´(  

Demostración: Po inducción sobe . Paa  = 0 es evidente. ÿu uesto cieto aa ,


vemos que

lo que demuesta el teoema.


ÿe dice que un monoide´ es conmutativo si su o eación es conmutativa.

Teorema 1.4 (Ley conmutativa general):ÿ ´ 


   
 $
   ´ÿ  ñ

)      
 (  

Demostración: Po inducción sobe . Paa  = 1 es evidente. ÿu óngase cieto aa  - 1.


ÿea ' el enteo tal que . Entonces,

Con el o ósito de a lica el teoema 1.3, definimos la a licación ș o

Ús tenemos que


donde o hi ótesis de inducción, y as

Definición 1.5: ÿea ´ un monoide. dn elemento  de ´ se dice invertible por la


izquierda *es . invertible por la derecha) si existe un elemento , llamado inverso
izquierdo de  *es . inverso derecho de ), tal que  = 1 *es .  = 1). ÿe llama
invertible a un elemento  que es invetible o ambos lados.

ÿi un elemento  de un monoide´ es invetible, entonces su inveso izquiedo y su inveso


deecho coinciden. En efecto, ues si  y  son, es ectivamente, el inveso izquiedo y el
inveso deecho de , entonces .

Definición 1.6: ÿe llama grupo a un monoide´ cuando todos sus elementos son
invetibles, es deci, cuando aa todo  de ´ existe  de ´ tal que

 =  = 1.

El elemento  aludido en la definición anteio se llama inverso de  y es único, ues si '


es oto inveso de , entonces . En notación multi licativa
y notación aditiva el inveso de  se denota, es ectivamente, o í 1 y í .

ÿe define

En notación aditiva se escibe í  en luga de í .

dn gu o ´ en el que se veifica la o iedad conmutativa, es deci, en el que  =  aa


cualesquiea  y  de ´, se dice gu o abeliano.
El teoema siguiente ecoge algunos hechos bsicos a ceca de los gu os.

Teorema 1.7:ÿ ´ñ $    ´ÿ  ñ 

(G-1)*
ñ
*
(G-£)*
ñ
*
(G-3) *í 1) í 1 = 
(G-4) *) í 1 = í 1í 1
(G-5)

Demostración: *G-1) ÿi  = , entonces  = *í 1) = *)í 1 = í 1 = 1. *G-2) ÿi  =


, entonces al multi lica ambos lados de la ecuación o í 1 se obtiene  = . *G-3)
. *G-4)
, de modo que í 1í 1 es
 1  1
inveso de , eo éste es único, as es que ha de se   = *)  1. *G-5) se sigue de
*G-4) usando o inducción matemtica.

Los dos teoemas siguientes muestan las condiciones que debe cum li un semigu o aa
se un gu o.

Teorema 1.8:d
ñ ´ ñ 
$) 

1. a
 

 ñ 

   ñ     ´*+
2.     ´
 
  ñ 

  

Demostración: La im licación es obvia. Po la ota ate, ´ cum le también con *G-1) del
teoema 1.7 * ues o hi ótesis todo elemento suyo es invetible), as que, de

se deduce que í 1 = 1, o lo que í 1 es también inveso de  o la deecha. Údems,


, o lo que 1 es también una identidad
o la deecha en ´, luego ´ es un gu o.
Teorema 1.9:d
ñ ´ ñ 
$) 
ñ 
$ ´

 


  
 ,
 ´

Demostración: ÿi ´ es un gu o, entonces las soluciones de a =  y $ =  en ´ son a =


í 1 y $ = í 1. Rec ocamente, si ´ es un semigu o en el que las ecuaciones a =  y $
=  tienen soluciones únicas, entonces, tomando  = , tenemos que existen y ' tales que

y si  es un elemento cualquiea de ´, entonces también existen  y  de ´ tales que

de modo que

 = * ) = * ) =  =  *1.1)

' = '*) = * ') =  = . *1.2)

Puesto que  es cualquie elemento de ´, odemos toma  = ' en *1.1) y  = en *1.2),


obteniendo ' = ' y ' = , luego = ' es la identidad de ´. Úhoa, si ' y '' son las
soluciones de a = y $ = , entonces ' y '' son, es ectivamente, los invesos deecho e
izquiedo de , y como vimos, debe de se ' = ''. Esto ueba que ´ es

tesis

dna tesis *del giegoșȑıȚȢ 


 'Establecimiento, o osición, colocación', aqu en el
sentido de 'lo o uesto, lo afimado, lo que se o one'; oiginalmente de


'achiva') es una afimación cuya veacidad ha sido agumentada, demostada o justificada


de alguna manea. Genealmente enuncia una o osición cientfica, un axioma o un hecho
demostable.

åontenido
[oculta]

M 1 Intoducción
M 2 Tesis en difeentes cam os
Ê 2.1 Tesis cientfica
Ê 2.2 Tesis de doctoado

[editar] Introducción
Deivada del Método cientfico, una tesis es la aseveación conceta de una idea que, de
manea fundamentada, se ex one úblicamente. También uede llamsele teoa cientfica
toda vez un sustento teóico uede se consideado como ate del conocimiento
establecido. Hace muchos años, inci almente en el contexto de la Medicina se tataba de
una afimación que el sustentante ex ona. ÿus ideas se sometan a un inteogatoio, una
discusión o ueba dialéctica aa sostene en úblico las osibles objeciones que le
o onan los examinadoes.

dna tesis se considea la afimación deivada de una hi ótesis aa la cual uede incluso no
existi ningún ti o evidencia inicial y los hechos que la a oyan ueden esta en gan
medida o descubi. dna tesis se inte eta genealmente como una o osición
demostable cuyo objetivo consiste en hace vlido, en un sentido eficazmente agmtico,
lo "esencial" de lo "com lejo de las o osiciones".

Los asos encaminados a valida o invalida una hi ótesis, aa establecela


ovisionalmente como una tesis justificada, de enden del ti o de eglas o icias aa esto
*véase Tesis cientfica).

V
Teoría de conjuntos
De Wiki edia, la enciclo edia libe
ÿalta a navegación, búsqueda

Diagama de Venn que muesta un conjunto Ú contenido en oto conjunto d y su


com lemento

La Teoría de åonjuntos es una división de las matemticas que estudia los conjuntos. El
ime estudio fomal sobe el tema fue ealizado o el matemtico alemn Geog Canto,
GottlobFege y Julius Wilhelm Richad Dedekind en el ÿiglo XIX y ms tade efomulada
o Zemelo.

El conce to de conjunto es intuitivo y se oda defini como una "agu ación bien definida
de objetos no e etidos y no odenados"; as, se uede habla de un conjunto de esonas,
ciudades, gafas, la iceos o del conjunto de objetos que hay en un momento dado encima
de una mesa. dn conjunto est bien definido si se sabe si un deteminado elemento
etenece o no al conjunto. El conjunto de los bolgafos azules est bien definido, oque a
la vista de un bolgafo se uede sabe si es azul o no. El conjunto de las esonas altas no
est bien definido, oque a la vista de una esona, no siem e se od deci si es alta o
no, o uede habe distintas esonas, que o inen si esa esona es alta o no lo es. En el siglo
XIX, según Fege, los elementos de un conjunto se definan sólo o tal o cual o iedad.
Úctualmente la teoa de conjuntos est bien definida o el sistema ZFC. ÿin embago,
sigue siendo célebe la definición que ublicó Canto.

ÿe entiende o conjunto a la agu ación en un todo de objetos bien difeenciados de


nuesta intuición o nuesto ensamiento.
V

V
åonjunto universal
De Wiki edia, la enciclo edia libe
ÿalta a navegación, búsqueda

El universo de discurso, conjunto universal o referencial, que nomalmente se denota


o las letas , es un conjunto cuyo objeto de estudio son los subconjuntos del
mismo.

Únteiomente al conjunto univesal como      , sin embago est
demostado que este conjunto no existe. Paticulamente oque su one la existencia de
dicho conjunto conduce a la aadoja de Russell.
Úctualmente se debe deja en clao sobe cul conjunto se est tatando. Po ejem lo, si
estamos tatando conjuntos cuyos elementos son letas, el conjunto efeencial sea el
conjunto fomado o todas las letas del alfabeto.

El com lemento del conjunto univeso es el conjunto vaco, es deci, aquel que est
des ovisto de elementos.

[editar] Propiedades
M Todo conjunto Ú es subconjunto de d:

M Paa todo conjunto Ú, la unión de Ú con el conjunto univesal da d:

M Paa todo conjunto Ú, la intesección de Ú con el conjunto univesal esulta el


mismo conjunto:

M El com lemento del conjunto univesal es el conjunto vaco:

M El conjunto univesal es el com lemento del conjunto vaco:

åonjuntos disjuntos
De Wiki edia, la enciclo edia libe
ÿalta a navegación, búsqueda

ÿe dice que dos conjuntos son disjuntos cuando no tienen ningun elemento en comun . Po
ejem lo, {1, 2, 3} y {4, 5, 6} son conjuntos disjuntos.

[editar] Definición formal


Fomalmente, dos conjuntos Ú y son disjuntos si su intesección es el conjunto vaco; es
deci, si

Esta definición se extiende a cualquie colección de conjuntos. Los conjuntos de una tal
colección son disjuntos por pares o mutuamente disjuntos si cualquie a de conjuntos


  de ella son disjuntos.

Fomalmente sea Ú
un conjunto aa cada
X *donde X es cualquie conjunto). La familia
de conjuntos {Ú
|
X} es disjunta o aes si aa cada
, X, con
 ,

Po ejem lo, la colección de conjuntos { {1}, {2}, {3},... } es disjunta o aes.

ÿi la colección {Ú
} es disjunta o aes, su intesección es obviamente vaca:

La im licación invesa no es, sin embago, cieta: la intesección de la colección {{1, 2},
{2, 3}, {3, 1}} es vaca, eo la colección  es disjunta o aes; no hay, de hecho, dos
conjuntos disjuntos en ella.

dna atición de un conjunto - es una colección de subconjuntos no vacos {Ú


|
X} de -,
disjuntos o aes, tales que

Diagrama de Venn
De Wiki edia, la enciclo edia libe
ÿalta a navegación, búsqueda

Diagama de Venn mostando la intesección de dos conjuntos.

Los diagramas de Venn son ilustaciones usadas en la ama de la Matemtica y Lógica de


clases conocida como teoa de conjuntos. Estos diagamas se usan aa mosta
gficamente la agu ación de cosas    en conjuntos, e esentando cada conjunto
mediante un cculo o un óvalo. La osición elativa en el lano de tales cculos muesta la
elación ente los conjuntos. Po ejem lo, si los cculos de los conjuntos Ú y B se sola an,
se muesta un ea común a ambos conjuntos que contiene todos los elementos contenidos a
la vez en Ú y en B. ÿi el cculo del conjunto Ú a aece dento del cculo de oto B, es que
todos los elementos de Ú también estn contenidos en B.

Tipos de diagramas de Venn


[editar] Diagrama de dos conjuntos

Conjuntos Ú y .

Considéese el ejem lo a la deecha: su óngase que el conjunto Ú *el cculo naanja)


e esenta, o ejem lo, a todas las ciatuas vivas con solo dos ienas motices y que el
conjunto *el cculo azul) contiene a todas las ciatuas que ueden vola. El ea donde
ambos cculos se su e onen *que ecibe el nombe de
  
)   Ú$ , o

  
)Ú. ) contenda o tanto todas las ciatuas que, al mismo tiem o, ueden
vola y tienen sólo dos ienas motices.

Imaginemos ahoa que cada ti o distinto de ciatua viva est e esentado con un unto
situado en alguna ate del diagama. Los humanos y los ingüinos estaan dento del
cculo naanja *el conjunto Ú) en la ate en la que no se su e one con el cculo azul *el
conjunto ), ya que ambos son b edos y no ueden vola. Los mosquitos, que tienen seis
ienas motices y ueden vola, estaan e esentados con un unto dento del cculo azul
fuea de la intesección Ú. . Los loos, que tienen dos ienas motices y ueden vola,
estaan e esentados o un unto dento de la intesección Ú. . Cualquie ti o de
ciatua que ni tuviea dos ienas ni udiea vola *como o ejem lo las ballenas o las
se ientes), estaa e esentado mediante untos fuea de ambos cculos.

El diagama de Venn e esentado en el ejem lo 1 uede descibise como la relación


entre el conjunto  y el conjunto . El ea combinada de ambos conjuntos ecibe el
nombe de unión de los conjuntos  y . La unión en este caso contiene todos los ti os de
ciatuas que tienen dos ienas, ueden vola, o ambas cosas a la vez. El ea donde los
conjuntos Ú y se sola an se define como la
  
) Ú$ . Contiene todos los
ti os de ciatuas que etenecen a la vez a Ú y a , es deci, que tienen dos ienas y
ueden vola.

Diagama de Venn mostando todas las intesecciones osibles ente tes conjuntos Ú, y
.

dn diagama de Venn de dos conjuntos define 4 eas difeentes *la cuata es la exteio),
que ueden unise en 6 osibles combinaciones:

M Ú *dos atas)
M *vuelan)
M Ú y *dos atas y vuelan)
M Ú y no *dos atas y no vuelan)
M no Ú y *ms o menos de dos atas, y vuelan)
M no Ú y no *ni tienen dos atas ni vuelan)

Ú veces se incluye un ectngulo alededo del diagama de Venn, que ecibe el nombe de
univeso de discuso *antes se cea en la existencia de un conjunto univesal eo Betand
Russell descubió que con tal conce to el sistema es inconsistente véase aadoja de
Russell). ÿe usa aa e esenta el conjunto de todas las cosas osibles. La definición del
univeso, al igual que la de los conjuntos, de ende del diagama sobe el que se e esenta.
La idea de conjunto univesal, aunque fue a untada o el o io Venn, se atibuye
habitualmente a Chales Dodgson, ms conocido como Lewis Caoll.

[editar] Diagramas de tres conjuntos

Los diagamas de tes conjuntos fueon los ms coientes elaboados o Venn en su
esentación inicial. Las distintas intesecciones de los tes conjuntos Ú, y  definen
ÿIETE eas difeentes, cuyas osibles uniones su onen 256 combinaciones distintas de los
tes conjuntos iniciales.

[editar] Más de tres conjuntos


La dificultad de e esenta ms de tes conjuntos mediante diagamas de Venn *o
cualquie ota e esentación gfica) es evidente. Venn senta afición a la búsqueda de
diagamas aa ms de tes conjuntos, a los que defina como "figuas siméticas, elegantes
en s mismas". Ú lo lago de su vida diseñó vaias de estas e esentaciones usando eli ses,
as como indicaciones aa la ceación de diagamas con cualquie cantidad de cuvas,
atiendo del diagama de tes cculos.

[editar] Diagramas de Venn de adwards

Ú. W. F. Edwads diseñó e esentaciones aa diagamas de Venn de ms de tes


conjuntos, oyectando el diagama sobe una esfea. ÿe ueden e esenta fcilmente tes
conjuntos tomando tes hemisfeios en ngulos ectos *a=0, $=0 y =0). dn cuato conjunto
se uede e esenta tomando una cuva simila a la juntua de una elota de tenis que suba
y baje alededo del ecuado. Los conjuntos esultantes ueden oyectase de nuevo sobe
el lano aa mosta diagamas de  , con cantidades cada vez mayoes de dientes.
Edwads ideó estos diagamas mientas diseñaba la ventana acistalada en memoia de
Venn que hoy adona el comedo de su colegio.

Diagama aa tes Diagama aa cuato Diagama aa cinco Diagama aa seis
conjuntos. conjuntos. conjuntos. conjuntos.

[editar] Otros diagramas


Los diagamas de Edwads son to ológicamente equivalentes a los diagamas diseñados
o BankoGünbaum, que se basaban en olgonos intesecados, con cantidades cecientes
de lados. Philli ÿmith ideó diagamas similaes de  conjuntos usando cuvas senoidales
en ecuaciones como $=sin*2
a)/2
, 0 ”i ”-2. Po su ate, Lewis Caoll diseñó un
diagama de cinco conjuntos.

ƒ   
/  ÿ
$
   

[editar] Diagramas similares


[editar] Diagramas de auler

Diagama de Eule.

Los diagamas de Eule son similaes a los de Venn, eo no necesitan todas las osibles
elaciones. Los diagamas de Eule emiten e esenta inclusión de una clase en ota. Po
ejem lo, en el e esentado a la deecha un conjunto *el Ú) est totalmente incluido en oto
*el ), mientas que oto *el ) no tiene ninguna elación con los dos anteioes.

Los diagamas de Eule anteceden a los diagamas de Venn,[7] eo son distintos. Fueon
intoducidos o Eule aa ayuda en la com ensión. John Venn intenta ectifica algunas
deficiencias a tavés de los Diagamas de Venn.

ÿu ongamos que el conjunto Ú e esenta todos los ti os de queso que ueden encontase
en el mundo, y el e esenta a todos los comestibles existentes en el mundo. ÿegún el
diagama, se ve claamente que todos los quesos son comestibles, eo no todos los
comestibles son quesos. ÿi definimos el conjunto  como el de las cosas hechas de metal,
el diagama nos emite e esenta de foma evidente dos afimaciones adicionales: los
comestibles no estn hechos de metal, y las cosas hechas de metal no son comestibles.

[editar] Diagrama de Johnston


Diagama de Johnston aa la ex esión 
Ú
  
 .

Los diagamas de Johnston se usan aa ilusta afimaciones lógicas como 


Ú
  

 , y son una foma visual de ilusta tablas de vedad. Pueden se idénticos en
a aiencia a diagamas de Venn, eo no e esentan conjuntos de elementos.

[editar] Mapa de Karnaugh

Ú  ñ

ñ/0ñ 1

Los 0ñ 1 o 


  ƒ
 son ota foma de e esenta de foma
visual ex esiones de lgeba booleana.

[editar] Diagrama de Peirce

Los diagamas de Peice, ceados o Chales Peice, son extensiones de los diagamas de
Venn que incluyen infomación sobe afimaciones existenciales, disyuntivas, de
obabilidades y otas elaciones.[8]

[editar] Referencias
1. ð Venn, John *1880). un the Diagammatic and Mechanical Re esentation of
Po ositions and Reasonings».  "  (
  
!
  ñ

0
  2  ÿ
 9 *1-18).
2. ðRuskey, Fank y Weston, Mak *2005). What is a Venn Diagam?». g.
inci al: Úÿ $ ƒ 
 , The Electonic Jounal of Combinatoics.
Consultado el agosto 2007.
3. ðutte, Úndeas *1998). Venn-Diagamme: Einleitung». Begiffslogik.de.
Consultado el agosto 2007.
4. ðua  (
 

$, 2ª edición.
5. ð Daling, David *-). Venn Diagam». The Intenet Encyclo edia of ÿcience.
Consultado el agosto 2007.
6. ðBogomolny, Úlexande. Lewis Caoll's Logic Game» *en inglés). X 
 
0 
0
 $ ! . Consultado el agosto 2007.
7. ð Eule, Leonad *taducido o ÿi David Bewste) *1768, 1823: taducción).
"  3 !
  #Ú  . ÿan Petesbugo, Edinbugo *taducción):W
zC Tait, y Longman et al.. Ve en aticula en el vol. 1. las catas CII - CVIII en
las ginas 337-366).
8. ðEjem los de diagamas de Peice

dnión de conjuntos
De Wiki edia, la enciclo edia libe
ÿalta a navegación, búsqueda

En la teoa de conjuntos, la unión de conjuntos es una o eación binaia en el conjunto de


todos los subconjuntos de un d, Conjunto univesal, dado. Mediante la cual a cada a de
conjuntos Ú y ë de d se le asocia oto conjunto: de d.

ÿi Ú y ë son dos conjuntos, entonces su unión es:

La unión de Ú y ë, es el conjunto de elementos de d, tal que, etenezca a Ú, o que,


a etenezca a ë.

Esta o eación es conmutativa, asociativa y tiene Elemento neuto.

donde:
es el com lemento de Ú.

[editar] Propiedades
ÿean Ú, B y C tes conjuntos cualesquiea.

1. Ú ¨ Ú B y B ¨ Ú B.
2. Ú d = d y Ú Ø = Ú.
3. Ú Ú = Ú *ñ ñ
 
ñ  ).
4. Ú B = B Ú *ñ ñ
    
).
5. *Ú B) C = Ú *B C) *ñ ñ
  

).
6. Ú *B ŀ C) = *Ú B) ŀ *Ú C)
7. *B ŀ C) Ú = *B Ú) ŀ *C Ú) *ñ ñ
 
 

 ñ   

  
)).
8. Ú *Ú ŀ B) = Ú = Ú ŀ *Ú B) * $  
)).

[editar] dnión generalizada


La unión de dos conjuntos esentada anteiomente uede extendese a vaios conjuntos
as la unión de un númeo finito de conjuntos viene dada o "uniones sucesivas":

Debido a la o iedad asociativa cualquie oden de "em aejamientos" aa ealiza la


unión conduce al mismo esultado. La unión de conjuntos uede genealizase también aa
contem la la unión de un númeo infinito de conjuntos . En ese caso se define:

Cuando ë es un conjunto de sólo dos elementos la definición anteio se educe a la


definición odinaia aa la unión de dos conjuntos.

Intersección de conjuntos
De Wiki edia, la enciclo edia libe
ÿalta a navegación, búsqueda

En la teoa de conjuntos, la intersección es una o eación binaia en el conjunto de todos


los subconjuntos de un d, Conjunto univesal, dado. Po la cual a cada a de conjuntos Ú
y ë de d se le asocia oto conjunto: de d.
ÿi Ú y ë son dos de ellos entonces su intesección se simboliza y se define como:

La intersección de Ú y ë, es el conjunto de elementos de d, tal que, etenezca a Ú, y


que, etenezca a ë.

Esta o eación es conmutativa, asociativa, tiene neuto y tiene inveso:

donde:

es el com lemento de Ú.

Po lo tanto el conjunto otencia de nuesto univeso d y la o eación foman una


estuctua algebaica ti o gu o abeliano.

[editar] Propiedades
ÿean Ú, B y C tes conjuntos cualesquiea:

M 1. Ú ŀ B ¨ Ú y Ú ŀ B ¨ B.
M £. Ú ŀ  =  y Ú ŀ d = Ú.
M 3. Ú ŀ Ú = Ú *ñ ñ
 
ñ  ).
M 4. Ú ŀ B = B ŀ Ú *ñ ñ
    
).
M 5. *Ú ŀ B) ŀ C = Ú ŀ *B ŀ C) *ñ ñ
  

).
M 6. a. Ú ŀ *B C) = *Ú ŀ B) *Ú ŀ C)
M 6. b. *B C) ŀ Ú = *B ŀ Ú) *C ŀ Ú) *ñ ñ
 
 

 ñ   

)).
M 7. Ú *Ú ŀ B) = Ú = Ú ŀ *Ú B) * $  
)).
[editar] Intersección generalizada
La intesección de dos conjuntos uede extendese a un númeo cualquiea de conjuntos.
ÿi :

La intesección de un númeo infinito de conjuntos se define como:

Cuando ë es un conjunto de sólo dos elementos la definición anteio se educe a la


definición odinaia aa la unión de dos conjuntos.

V
åonjunto vacío
De Wiki edia, la enciclo edia libe
ÿalta a navegación, búsqueda

El conjunto vaco es aquél que no tiene elementos.

En matemticas, es ecficamente en teoa de conjuntos, el conjunto vacío es el único


conjunto que no contiene elementos. En la axiomtica de Teoa de conjuntos se ostula el
axioma del conjunto vaco. Úlgunas o iedades de los conjuntos son tivialmente cietas
aa el conjunto vaco.

åontenido
[oculta]

M 1 Notación
M 2 Po iedades
M 3 Poblemas comunes
M 4 Véase también
M 5 Refeencias

[editar] Notación
El conjunto vaco es denotado o cualquiea de estos smbolos:
deivada de la leta Ø *intoducida es ecialmente o Úndé Weil) en 1939.

uta notación común aa el conjunto vaco es:

[editar] Propiedades
*Úqu usaemos smbolos usados en matemticas.)

M Paa todo conjunto Ú, el conjunto vaco es subconjunto de Ú:

M Paa todo conjunto Ú, la unión de Ú con el conjunto vaco es Ú:

M Paa todo conjunto Ú, la intesección de Ú con el conjunto vaco esulta el conjunto


vaco:

M Paa todo conjunto Ú, el oducto catesiano de Ú y el conjunto vaco es vaco:

M El único subconjunto del conjunto vaco es él mismo, el conjunto vaco:

M El númeo de elementos del conjunto vaco *es deci, su númeo cadinal) es ceo;
en aticula, el conjunto vaco es un conjunto finito:

que se uede ex esa:

M Paa cualquie o iedad se tiene:


Ê aa todo elemento del la o iedad es cieta * o vacuidad)
Ê no hay elementos en el aa los cuales la o iedad sea cieta
M Entonces: si, aa alguna o iedad, las dos o osiciones siguientes son cietas:
Ê aa todo elemento de V la o iedad es cieta
Ê y no hay elementos en V que cum lan la o iedad

o lo tanto
Los matemticos genealmente hablan de 'el conjunto vaco' y no de 'un' conjunto vaco,
ues en Teoa de conjuntos, dos conjuntos son iguales si y sólo si uno es subconjunto del
oto y vicevesa, i.e. tienen los mismos elementos. En conclusión, sólo hay un conjunto
vaco.

åonjunto
ŒV!"  V V  VV

#  V V   V$  V

En matemticas, un conjunto es un conce to fundamental, y como tal no admite definición


en téminos de conce tos ms fundamentales.[1] Ú veces se lo esenta como un conce to
autoevidente, o o medio de sinónimos. Po ejem lo, a veces se dice que un conjunto es
una colección de objetos.[1] Po objeto aqu no debe entendese sólo las entidades fsicas,
como las mesas y las sillas, sino todo objeto en el sentido ms am lio de la alaba: mesas,
sillas, esonas, ideas, ceencias, lenguajes, letas, otos conjuntos, etc. Ú los objetos que
etenecen a un conjunto se los llama
  o    del conjunto.

utas veces se toma a los axiomas de la teoa de conjuntos como oveyendo una
definición im lcita de lo que es un conjunto: un conjunto es todo aquello que cum le con
los axiomas.[1] ÿin embago, esto conlleva el iesgo de que haya ms de una inte etación
que haga vedadeos a los axiomas *ms de un modelo), y o lo tanto de que haya ms de
un 

 

La cantidad de elementos de un conjunto uede se finita o infinita.[2] Po ejem lo, el
conjunto de los númeos natuales, que son infinitos, es tanto como el conjunto de los
lanetas del ÿistema ÿola, que son ocho.

En un conjunto, el oden de los elementos es ielevante.[2] El conjunto com uesto o


Venus y Mecuio es el mismo que el com uesto o Mecuio y Venus. También es
ielevante si se e ite un elemento.[2] Venus y Mecuio foman el mismo conjunto que
Mecuio, Venus y Mecuio.

Los conjuntos no deben se confundidos con los agegados. Los imeos son estudiados
o la teoa de conjuntos, los segundos o la meeologa. Los imeos son siem e
entidades abstactas, los segundos no siem e. Po ejem lo, el conjunto de todas las
esonas no tiene ningún eso, eo el agegado de todas las esonas s.

åontenido
ß  %V
M Ό  VVV  V
Ê ÎÎ V
  V
Ê Î& V    V
M &'    VVV  V
M ‰'   VV  V
M [  V V  V ( VV  V    V
M D  V V
M r  VV V

[editar]Determinación de un conjunto
dn conjunto se uede detemina de dos maneas: o extensión y o com ensión

ß 
 

dn conjunto est deteminado o extensión cuando se esciben uno a uno todos sus
elementos. Po ejem lo, el conjunto de los númeos natuales menoes que 9:

ß   

dn conjunto est deteminado o com ensión cuando solamente se menciona una


caactestica común de todos los elementos. Po ejem lo, el conjunto fomado o las
letas vocales del abecedaio:

Dos conjuntos son idénticos si, y sólo si, contienen los mismos elementos. ÿe uede
obtene una desci ción ms detallada en la teoa de conjuntos.

Las a licaciones de teoa de conjuntos son muy am lias, y baste con menciona que se
utiliza en el diseño de cicuitos en electónica digital; en cuestiones elacionadas con
obabilidad; y sus conce tos estn de manea im lcita en la teminologa utilizada en
diseño de bases de datos, cuando se ealizan las consultas.

[editar]Representación de un conjunto
V

ÚV V   VV V

 VVÚVV V

)  VVÚVV V

Los conjuntos son uno de los conce tos bsicos de la matemtica. Como ya se ha dicho, un
conjunto es, ms o menos, una colección de objetos, denominados elementos. La notación
estnda utiliza llaves {, y } alededo de la lista de elementos aa indica el contenido del
conjunto, como o ejem lo:
V

Las tes lneas anteioes denotan el mismo conjunto. Como uede vese, es osible
descibi el mismo conjunto de difeentes maneas: o bien dando un listado de sus
elementos *lo mejo aa conjuntos finitos equeños) o bien dando una o iedad que
defina todos sus elementos. Po oto lado, no im ota el oden, ni cuantas veces a aezcan
en la lista sus elementos.

ÿi Ú y son dos conjuntos y todo elemento a de Ú est contenido también en , entonces se


dice que Ú es un subconjunto de . Todo conjunto tiene como subconjunto a s mismo y al
conjunto vaco, {}.

La unión de una colección de conjuntos: es el conjunto de todos


los elementos contenidos al menos una vez en los conjuntos y se
e esenta:

La intersección de una colección de conjuntos: , es el conjunto


de todos los elementos contenidos simultneamente en todos los conjuntos:
y se e esenta:

los conjuntos también son nombados según el númeo de elementos que tengan ejem lo
conjunto vaco, conjunto unitaio,conjuntofinito,conjunto infinito. Úlgunos ejem los de
conjuntos de númeos son:

Î  V$ V   V*  V  V  V V VVV  V


&  V$ V V
‰  V$ V    V
[  V$ V  VVV V V$ V    V
D  V$ V   VV    V   V V   VV +Va&V,VÎV-V.V

La teoa estadstica se constuye sobe la base de la teoa de conjuntos y la teoa de la


obabilidad.

[editar]Relaciones entre conjuntos


dna categoa matemtica consta de dos ates: los objetos y los mofismos. Cuando
hablamos de la categoa de conjuntos, los objetos son los mismos conjuntos y un
mofismo ente dos objetos, digamos - e 4, en un ti o de  
)   - e 4


 i.e.
un subconjunto del oducto catesiano de - con 4, en smbolos:
V

y ésta es una a licación ente los conjuntos.

[editar]åonjunto universal, conjunto vacío y conjunto


complementario
a V ( V V  V  VreferenciasVV * VV Vpublicación
acreditadaV  V  V  *  V   ( V  V  V V  VV
)V V
V

 V /  VasíV V  V V  V  VV ( VV V  VV   V   +V


!!   Ê
  Ê  ÊV

Úl defini un conjunto L no sólo se deteminan sus elementos, sino también los que no lo
son. ÿin embago, esto uede acaea algún oblema. Po ejem lo, ensemos en el
conjunto de los númeos enteos, Z. ÿi hacemos caso de lo dicho hasta ahoa, Z no define
sólo el conjunto de los númeos enteos; define también un conjunto Z¶, al que definimos
como ³todo aquello que no es un númeo enteo´. Hasta aqu, todo aece coecto: el
conjunto Z¶ contiene, o ejem lo, el númeo 3 4, la az cuadada de 2, ... eo también
incluye los tem los hindúes a oillas del Ganges, o las za ateas del baio gótico de
Bacelona. Paa evita com licaciones, esulta ms adecuado estingi los elementos
consideados a un conjunto meno. En nuesto caso, sevi el conjunto de los númeos
eales * ). Con el fin de obtene esta estición ostulamos un conjunto univesal E que
definimos como el conjunto de todos los elementos que consideamos. El com lementaio
de un conjunto es entonces el com lementaio es ecto de este conjunto univesal. La
inte etación de este conjunto univesal o ate de Boole le llevó a identifica tal
conjunto con el valo ³1´.

Queda o detemina qué es un conjunto vaco. En geneal, la intesección de dos


conjuntos sea siem e un conjunto, exce to cuando no tienen elementos comunes. Este
caso es ecial se elimina ostulando un conjunto vaco, z. La inte etación de este
conjunto univesal o ate de Boole le llevó a identifica tal conjunto con el valo ³0´.
Esta asignación de valoes 1-0 a los conjuntos E y z tiene im otantes consecuencias no
sólo en el mbito de la lógica sentencial sino también en mbitos que aqu no tatamos,
como la teoa de la obabilidad *diemos sólo que cualquie valo de obabilidad se
encuenta ente 0 y 1).

Paa mosta algunas de estas consecuencias, consideemos el modo de Boole de asigna


valoes de vedad a las o osiciones: hoy da ex esamos la ceteza de un enunciado
asignndole el valo ³1´, y su falsedad con el valo ³0´. Pues bien, en Bochénski leemos:

xÿ
 

  

)   
  -      
consideación, se odn imagina sólo dos casos, a sabe, imeo, que la sentencia sea
vedadea, y la segunda, que sea falsa. Como estos casos com onen el univeso de la
sentencia, y el imeo se e esenta o el smbolo x, el segundo se e esenta o el
smbolo *1-x)´

Relación de orden
De Wiki edia, la enciclo edia libe
ÿalta a navegación, búsqueda

ÿea Ú un conjunto dado no vaco y & una elación binaia definida en Ú, entonces decimos
que & es una relación de orden si cum le las siguientes o iedades:

1. Reflexividad: Todo elemento de Ú est elacionado consigo mismo. Es deci,


.
2. Úntisimeta: ÿi dos elementos de Ú se elacionan ente s, entonces ellos son
iguales. Es deci,
3. Tansitividad: ÿi un elemento de Ú est elacionado con oto, y ese oto a su vez se
elaciona con un teceo, entonces el imeo esta elacionado también con este
último. Es deci,

dna elación de oden & sobe un conjunto Ú uede denotase con el a odenado .

åontenido
[oculta]

M 1 Relación de oden total


M 2 Relación de oden acial
M 3 Relación de oden densa
M 4 Véase también
M 5 Esquema de temas elacionados

[editar] Relación de orden total


ÿea Ú un conjunto dado, es una relación de orden totalsi y solo si todos los elementos
de Ú se elacionan ente s, es deci,

M ajemplo es      . En efecto, es:


Ê Reflexivo: entonces * oque o definición, )
Ê Úntisimético: si y entonces

Ê Tansitivo: si y entonces

[editar] Relación de orden parcial


ÿea Ú un conjunto dado, es una relación de orden parcial si y solo si al menos un a de
elementos de Ú se elacionan ente s, es deci,

tal que .

M ajemplo. ÿea el conjunto - = {1,2,3} y el conjunto otencia de -, definido o:

Entonces es ñ
     , ues sean

eo

Nótese que las elaciones de oden total son un caso aticula de las elaciones de oden
acial.

[editar] Relación de orden densa


ƒ   
/   

dna elación de oden acial ” sobe un conjunto - se dice densa *o densa-en -sí-misma)
si, aa todo a e $ en - tales que a<$ *a ” $ya  $), existe oto  en - tal que a<<$.

M ajemplo 1: Los númeos acionales con la odenación habitual son un conjunto


densamente odenado, al igual que los númeos eales. ÿi 1<2 entonces tenemos
que 3 := *1+2)/2 satisface que: 1<3<2.
M ajemplo £: Los númeos enteos o oto lado con la odenación habitual no son un
conjunto densamente odenado ya que ente un númeo enteo y su siguiente no
existe un númeo intemedio.
Relación de equivalencia
De Wiki edia, la enciclo edia libe
ÿalta a navegación, búsqueda

ÿea 1 un conjunto dado no vaco y & una elación binaia definida sobe 1. ÿe dice que &
es una relación de equivalencia si cum le las siguientes o iedades:

M Reflexividad: Todo elemento de 1 est elacionado consigo mismo. Es deci,

M ÿimeta: ÿi un elemento de 1 est elacionado con oto, entonces ese oto elemento
también se elaciona con el imeo. Es deci,

M Tansitividad: ÿi un elemento de 1 est elacionado con oto, y ese oto a su vez se


elaciona con un teceo, entonces el imeo esta elacionado también con este
último. Es deci,

dna elación de equivalencia & sobe un conjunto 1 uede denotase con el a odenado
.
[editar] ålases de equivalencia
La elación de equivalencia define subconjuntos disjuntos en 1 llamados clases de
equivalencia de la siguiente manea: Dado un elemento , al conjunto dado o
todos los elementos elacionados con 

se le llama la clase de equivalencia asociada al elemento . Úl elemento  se le llama


representante de la clase.

ÿe llama orden al númeo de clases que genea una elación de equivalencia; si éste es
finito, se dice que la elación es de oden finito.

El conce to de clase de equivalencia tiene im otancia en ciencia, dado un conjunto de


objetos o entidades abstactas * otencialmente infinitas), ueden establecese elaciones de
equivalencia en base a algún citeio, las clases esultantes son los "ti os" en los que se
uede clasifica toda la gama de objetos.

[editar] åonjunto cociente


El conjunto de todas las clases de equivalencia se denomina conjunto cociente y se lo
suele denota como:

Tal como muesta la definición anteio el conjunto cociente es un subconjunto del


conjunto de ates de 1.

[editar] Lema de abstracción


Este atculo o sección tiene un estilo difícil de entenderpara los lectores
interesados en el tema. ÿi tienes ca acidad, o favo edítalo, contibuye a hacelo
ms accesible aa el úblico geneal, sin elimina los detalles técnicos que
inteesan a los es ecialistas.

Este conjunto es una atición de 1, es deci que est fomado o las difeentes clases de
equivalencia {a} de la elación, que son conjuntos disjuntos ente s:

1. aa cualquiea dos 


, no elacionados tenemos: ;

2. la unión de todos intega al total:


Lo eci oco también es cieto:  ñ

)    a
  
) 

 
         
 


  
 ñ    ñ

)

Las ideas enunciadas en los dos afos evios constituyen el lema denominado como
Lema de abstracción, ila de entada al método abstacto matemtico.

Es también conocido con el calificaivo       


  

 


El conjunto cociente se e esenta: Ú/R={Ú1,Ú2,Ú3....Ún}

[editar] ajemplos
M La igualdad ente los elementos de un conjunto.

M La elación de conguencia módulo M en el conjunto de los númeos enteos *i.e.


), donde se define: si y sólo si es múlti lo de M.

Esta elación es de equivalencia oque:

M Es eflexiva: a - a = 0, que es múlti lo de M.


M Es simética: si a - b es múlti lo de M, entonces b - a = -*a - b) también es
múlti lo de M.
M Es tansitiva: sean k y l númeos enteos tales que a - b = M k y b - c = M l.
Entonces, a - c = *a - b) + *b - c) = M k + M l = M*k + l) y o tanto un
múlti lo de M. En aticula, si M = 2 tenemos la tadicional clasificación
de los númeos enteos en aes e im aes.

M ÿea  un subgu o de un gu o ´. Definiendo aa elementos del gu o si y


sólo si , tendemos la elación de equivalencia llamada congruencia
módulo H .

M Definiendo, aa elementos del gu o, si y sólo si existe  en ´ talque í 1


= , se llama elación de conjugación. ÿus clases: clases de conjugación. Las clases
de equivalencia eciben el nombe de óbita o clase de conjugación.

åomplemento de un conjunto
De Wiki edia, la enciclo edia libe
ÿalta a navegación, búsqueda
.

Llamamos conjunto complementario de un conjunto y lo e esentamos o al


conjunto difeencia: siendo d el conjunto univesal. Esto es:

El conjunto complemento de Ú es el conjunto los elementos , que cum len que,


etenece a d, y que, no etenece a Ú.

Po ejem lo, si tenemos que:

entonces:

[editar] Propiedades

1.
2.
3.
4.

Nota: utas notaciones aa designa al conjunto com lemento ueden se:

No obstante, alguna de estas notaciones uede lleva a confusión, ya que también se usan
aa e esenta otos co
Diferencia de conjuntos
De Wiki edia, la enciclo edia libe
ÿalta a navegación, búsqueda

ÿean Ú y dos conjuntos cualesquiea. En teoa de conjuntos, se denomina conjunto


diferencia de Ú y , y se e esenta o Ú. o o Ú , al conjunto formado por todos los
elementos que están en , pero no están en , y que representaremos .

åontenido
[oculta]

M 1 Definición fomal
M 2 Ejem los
M 3 ubsevaciones
M 4 Difeencia simética
M 5 Po iedades
M 6 Véase también
M 7 Enlaces extenos

[editar] Definición formal


ÿean Ú y dos conjuntos. La difeencia de conjuntos Ú. es:

Los elementos que etenecen a la difeencia de conjuntos Ú í son aquellos elementos


que etenecen a Ú y no etenecen a .

[editar] ajemplos
M ÿi dados los conjuntos:

la difeencia de conjuntos Ú - B es:

M ÿi tenemos los conjuntos:

entonces:

M ÿi:

entonces:

[editar] Observaciones
.

M La notación ms utilizada es Ú. , si bien algunos autoes también utilizan la


notación Ú. .
M La difeencia de conjuntos no es conmutativa.
M Los elementos de la intesección no se considean ate de la Difeencia de
Conjuntos.

M ÿi Ú y son conjuntos disjuntos, entonces la difeencia de conjuntos es:

[editar] Diferencia simétrica

ÿean Ú y ë dos conjuntos. ÿe denomina diferencia simétrica ente Ú y a:


[editar] Propiedades
M
M
M
M
M
M
M

Da INIåION Da DI aRaNåIÚ SIMÉTRIåÚ Da


åONJdNTOS
La DIFERENCIÚ ÿIMÉTRICÚ DE CuNJdNTuÿ es la o eación binaia, en la cual dos
conjuntos cualesquiea, Ú y B, es ecifican cuales elementos Nu ÿuN CuMdNEÿ
fomando un nuevo conjunto llamado DIFERENCIÚ ÿIMÉTRICÚ.

SIMëOLOGIÚ Da LÚ DI aRaNåIÚ SIMÉTRIåÚ Da


åONJdNTOS

M El smbolo de la DIFERENCIÚ ÿIMÉTRICÚ es:


M La DIFERENCIÚ ÿIMÉTRICÚ del conjunto Ú y el conjunto B, se e esenta como:

Ú B
RaÚLIZÚåION Da LÚ DI aRaNåIÚ SIMÉTRIåÚ
Da åONJdNTOS aN ORMÚ aTaNSIVÚ
1. ÿean dos conjuntos Ú y B.

2. ÿea Ú definido asi:  


  
3. ÿea B definido asi:     

4. La DIFERENCIÚ ÿIMÉTRICÚ osible se e esenta asiÚ B =


 
  
DIÚGRÚMÚ Da VaNN Da dNÚ DI aRaNåIÚ
SIMÉTRIåÚ Da åONJdNTOS
ÿean Ú y B dos conjuntos cualesquiea, su DIFERENCIÚ ÿIMÉTRICÚ esta e esentada
o el ea ellenada de colo:

M LÚ DIFERENCIÚ ÿIMÉTRICÚ Ú B

Gficamente esta ea cube la su eficie QdE Ú Y B Nu CuMPÚRTEN


MdTdÚMENTE, Eÿ DECIR EL ÚREÚ TuTÚL CdBIERTÚ, EXCLdYENDu EL
ÁREÚ CuMdN u CuMPÚRTIDÚ.

uNJdNTuÿ FINITuÿ E INFINITuÿ NdMERÚBLEÿ

Definición:
El tamaño de un conjunto es la cantidad de elementos distintos del conjunto.

Ejem los:
a) El tamaño del conjunto {a, b, c} es 3

b) El tamaño del conjunto {a, o, d} es 3

c) El tamaño del conjunto {{a, b}} es 1

d) El tamaño del conjunto es ceo

Paa enconta el tamaño de dos conjuntos de manea com aativa, se necesita la siguiente
Definición:
Dados dos conjuntos P y Q se dice que existe una coes ondencia uno a uno *Biunicova)
ente los elementos de P y los de Q, si es osible ³a aea´ los elementos de P y de Q de tal
modo que todos los elementos P estén a aecidos con distintos elementos de Q.

Ejem lo:
Existe una coes ondencia biunvoca ente los elementos de {a, b} y los de {c, d}, también
existe una coes ondencia biunvoca ente los de {a, b, c} y los de {0, a, b}, eo no existe
una coes ondencia biunvoca ente los elementos de {a, b, c} y los de {a, d}.

Definición:
ÿe dice que un conjunto es finito si existe una coes ondencia biunvoca ente los
elementos del conjunto y los elementos de algún conjunto  , y se dice que  es la
cadinalidad del conjunto.

Ejem lo:
La cadinalidad de los conjuntos {a, b, c}, {a, o, d}, {1, 2, 3}, { ,{ },{ , { }}} es 3

Definición:
ÿe dice que un conjunto es infinito contable *o inifito numeable o que la cadinalidad del
conjunto es infinita contable), si existe una coes ondencia uno a uno ente los elementos
del conjunto y los elemento de .

Ejem los:
El conjunto de los númeos natuales ={1, 2, 3, ... } es un conjunto infinito contable.

El conjunto de todos los enteos aes no negativos { 2, 4, 6, ...}es un conjunto infinito


contable, ues existe una coes ondencia uno a uno ente los enteos aes no negativos y
los númeos natuales, a sabe el enteo 2
le coes onde el númeo natual
, aa
= 1, 2,
..., es deci:

De manea anloga, el conjunto de todos múlti los de 7 no negativos {7, 14, 21, ... }es
infinitos numeable, es deci:

Cabe señala que un conjunto es infinito contable si, comenzando con un cieto elemento
odemos lista sucesivamente, uno dets de oto todos los elementos del conjunto, ues
esa lista nos emite constui una coes ondencia uno a uno ente los elementos del
conjunto y los númeos natuales .

Ejem lo:
El conjunto de los enteos = { ..., -3, -2, -1, 0, 1, 2, 3, ... }, es un conjunto infinito
contable, oque sus elementos ueden se listados como = { 0, 1, -1, 2, -2, 3, -3, ...}, ya
que se uede hace una coes ondencia uno a uno ente los elementos del conjunto de los
enteos y los númeos natuales , es deci:

La unión de un númeo finito contable de conjuntos infinitamente contable es un conjunto


infinito contable. Lo mismo sucede con la unión de un númeo infinito contable de
conjuntos infinitos contables.

Ejem lo:
El conjunto de los númeos acionales es un conjunto infinito numeable ya que uede se
listado como sigue:

Údems se uede obseva que se ueden hace una cantidad infinita numeable de
sublistas, donde cada una es a la vez un conjunto infinito numeable, y la unión de todas
ellas es el conjunto de los númeos acionales .