EL ALGEBRA El Algebra es la rama de las matemticas que estudia la cantidad considerada del modo ms general posible.

LA HISTORIA DEL ALGEBRA La historia del lgebra comenz en el antiguo Egipto y Babilonia, donde fueron capaces de resolver ecuaciones lineales (ax = b) y cuadrticas (ax2 + bx = c), as como ecuaciones indeterminadas como x2 + y2 = z2, con varias incgnitas. Los anticuados babilonios resolvan cualquier ecuacin cuadrtica empleando esencialmente los mismos mtodos que hoy se ensean. Tambin fueron hbiles de solucionar ciertas ecuaciones indeterminadas. Los matemticos alejandrinos Hern y Diofante continuaron con la tradicin de Egipto y Babilonia, aunque el libro Las aritmticas de Diofante es de suficiente ms nivel y presenta muchas soluciones sorprendentes para ecuaciones indeterminadas difciles. Esta antigua sabidura sobre resolucin de ecuaciones encontr, a su vez, acogida en el mundo islmico, en donde se le llam ciencia de reduccin y equilibrio. (La palabra rabe al-jabru que significa `reduccin', es el origen de la palabra lgebra. En el siglo IX, el matemtico al-Jwrizm; escribi uno de los primeros libros rabes de lgebra, una presentacin sistemtica de la teora fundamental de ecuaciones, con ejemplos y demostraciones incluidas. A finales del siglo IX, el matemtico egipcio Abu Kamil enunci y demostr las leyes fundamentales e identidades del lgebra, y resolvi problemas tan complicados como encontrar la x, y, z que cumplen x + y + z = 10, x2 + y2 = z2, y xz = y2. En las civilizaciones antiguas se escriban las expresiones algebraicas utilizando abreviaturas slo ocasionalmente; sin embargo, en la edad media, los matemticos rabes fueron capaces de describir cualquier potencia de la incgnita x, y desarrollaron el lgebra fundamental de los polinomios, aunque sin usar los smbolos modernos. Esta lgebra inclua multiplicar, dividir y extraer races cuadradas de polinomios, as como el conocimiento del teorema del binomio. El matemtico, poeta y astrnomo persa Omar Khayyam mostr cmo expresar las races de ecuaciones cbicas utilizando los segmentos obtenidos por interseccin de secciones cnicas, aunque no fue capaz de encontrar una frmula para las races. La traduccin al latn del lgebra de al-Jwrizm fue publicada en el siglo XII. A principios del siglo XIII, el matemtico italiano Leonardo Fibonacci consigui encontrar una aproximacin cercana a la solucin de la ecuacin cbica x3 + 2x2 + cx = d. Fibonacci haba viajado a pases rabes, por lo que con seguridad utiliz el mtodo arbigo de aproximaciones sucesivas. Postulados matemticos Los postulados son frmulas especficas de una teora y se aceptan solamente por acuerdo. Razonando acerca de dos estructuras diferentes, por ejemplo, los nmeros naturales y losnmeros enteros pueden poseer los mismos axiomas, sin embargo, los postulados expresan lo que es esencial de una estructura, o un conjunto de estructuras. Los postulados, a diferencia de los axiomas lgicos, no son tautologas. Cualquier teora matemtica moderna se fundamenta en un conjunto de postulados y aunque se pensaba que, en principio, cualquier teora poda ser axiomatizada y formalizada, posteriormente esto se demostr imposible. En matemtica, son clebres los postulados de Euclides, expuestos en los Elementos, el tratado fundamental de la geometra clsica. Siglos despus, cuando fue cuestionado elquinto postulado de Euclides, surgi la llamada geometra no euclidiana. Existen otros, como el postulado de Bertrand referente a los nmeros primos, o los postulados de Cauchy, enunciados por el matemtico Augustin Louis Cauchy referentes a vectores

Postulados del Algebra de Boole

1.- La suma lgica de una variable a y 1 es siempre 1.

f (a + 1) = 1 2.- La suma lgica de un 0 y una variable a, siempre da el valor de la variable a. f (a + 0) = a 3.- La suma lgica de una variable consigo misma, siempre da en la salida el mismo valor de la variable. f (a + a) = a 4.- La suma lgica de una variable y la inversa de sta siempre da en la salida 1, ya que al menos uno de ellos vale 1. f (a + not a) = 1 5.- La multiplicacin lgica de una variable a y un 1 siempre da como resultado el valor de la variable a. f (a 1) = a

6.- La multiplicacin lgica de un cero y una variable a, da en la salida un 0. f (a 0) = 0

7.- La multiplicacin lgica de una variable a consigo misma, da como resultado el valor de la variable a. f (a a) = a

8.- La multiplicacin lgica de una variable a por la inversa de sta, dar a la salida siempre 0. f (a not a) = 0

Diagrama de Venn mostrando la interseccin de dos conjuntos. Los de Venn son ilustraciones usadas en la rama de la Matemtica y Lgica de clases conocida como teora de conjuntos. Estos diagramas se usan para mostrar grficamente la agrupacin de cosas elementos en conjuntos, representando cada conjunto mediante un crculo o un valo. La posicin relativa en el plano de tales crculos muestra la relacin entre los conjuntos. Por ejemplo, si los crculos de los conjuntos A y B se solapan, se muestra un rea comn a ambos conjuntos que contiene todos los elementos contenidos a la vez en A y en B. Si el crculo del conjunto A aparece dentro del crculo de otro B, es que todos los elementos de A tambin estn contenidos en B. [Orgenes e Historia

Ventanal en el comedor del Gonville and Caius College, Cambridge, conmemorando la estancia de Venn y su

principal creacin. Los diagramas de Venn tienen el nombre de su creador, John Venn, matemtico y filsofo britnico. Estudiante y ms tarde profesor en elCaius College de la Universidad de Cambridge, desarroll toda su produccin intelectual entre esas cuatro paredes. Venn introdujo el sistema de representacin que hoy conocemos en julio de 1880 con la publicacin de su trabajo titulado De la representacin mecnica y diagramtica de proposiciones y razonamientos
1 2 3

en el Philosophical

Magazine and Journal of Science, provocando un cierto revuelo en el mundo de la lgica formal. Aunque la primera forma de representacin geomtrica de silogismos lgicos se atribuye comnmente a Gottfried Leibniz, y fue luego ampliada por George Boole y Augustus De Morgan, el mtodo de Venn superaba en claridad y sencillez a los sistemas de representacin anteriores, hasta el punto de convertirse con el tiempo en un nuevo estndar. Venn fue el primero en formalizar su uso y en ofrecer un mecanismo de generalizacin para los mismos. Ms adelante desarroll algo ms su nuevo mtodo en su libro Lgica simblica, publicado en 1881 con el nimo de interpretar y corregir los trabajos de Boole en el campo de la lgica formal. Aunque no tuvo demasiado xito en su empeo, su libro se convirti en una excelente plataforma de ejemplo para el nuevo sistema de representacin. Sigui usndolo en su siguiente libro sobre lgica (Los principios de la lgica emprica, publicado en 1889), con lo que los diagramas de Venn fueron a partir de entonces cada vez ms empleados como representacin de relaciones lgicas. La primera referencia escrita al trmino "diagrama de Venn" de la que se tiene constancia es muy tarda (1918), en el libro A Survey of Symbolic Logic, de Clarence Irving Lewis.
4 5 6

Los diagramas de Venn se emplean hoy da para ensear matemticas elementales y para reducir la lgica y la Teora de conjuntos al clculo simblico puro. Se suelen usar tambin en el aula diagramas de Venn de dos o tres conjuntos como herramienta de sntesis, para ayudar a los estudiantes a comparar y contrastar dos o tres de elementos; en este uso, se incluyen dentro de cada elemento las caractersticas exclusivas, y en las intersecciones, las comunes con los otros. Tipos de diagramas de Venn Diagrama de dos conjuntos

Conjuntos A y B. Considrese el ejemplo a la derecha: supngase que el conjunto A (el crculo naranja) representa, por ejemplo, a todas las criaturas vivas con solo dos piernas motrices y que el conjunto B (el crculo azul) contiene a todas las criaturas que pueden volar. El rea donde ambos crculos se superponen (que recibe el nombre deinterseccin entre A y B, o interseccin A - B) contendra por tanto todas las criaturas que, al mismo tiempo, pueden volar y tienen slo dos piernas motrices.

 {  ~}| { zyx wvut spr rq ponm

i i t ]Diagramas e tres onjuntos i l A A B A i l A A t B t . s de tres conjuntos i l l B B l i t i t t s combinaciones distintas de los tres conjuntos iniciales. B i l . i V , t i ti t s onj ntos f i t fi i i i : t l j l i t i t l l i t l t j i l t i t on los i t i l, , , li l fi i l i s orri nt s l l l j j f ll. C definen SIE E reas diferentes, cuyas osi l es uniones t l if i t V l t ll . S orados or V nn n su resentaci n inicial. Las l , l j l t B t t , i i V l l , t i ll t l i ti , l i j i t it l t i l t l t l

l l j k j i h g f e d x vs vx t t vt t xr tvx tt v y yux xuvy x vvt tu yyy

i V t t l i t i i l t t j t A, B C.

y xw vtutsr PEGUI T PRS GIGI IFV U QIS PI E b E `IW E E GIQIGI UIT IFV PEUF E UQ IS PRT PR PRSR IGI GRq p di ch ggdfed c E RXRQ IG IS IP GETE RP IP b PR GF GRQ PR ISGRS EIU a `IW E E PEPRQ PEYXE R UE RWGISIFT PEGUI T PRS GIGI IFV PEUF E UQ IS PRT PR PRSR IGI GRQ RPEQ I PI C B ) ' 29 217658 2 27 421 @5 8A 854 @5763 29 3938 7654 3210 GI GH GF ED ) (' ' &  !   %        !         !               $ # "                 # "                          ! !                                             
onj nto B. El j i t t i l l l t i i . l i t A B. i ti j ll V l t l t A i ti l l l B A B. l i l A , l ti ti i i t l B, l i ti t i ti t l j , i i t t B, l j t l , i, ti t fi i i t j t l ti t i t ti t i l i t t ti i l t i l t it i i i l i i i y t , t j A unin e los onjuntos A y B. t l , B. l rel l i f l . t t l , j ti in entre el t A i t t t l . i it l l l t l ti l t nj nto A y el l . l l it l lf , i t . El i t t l l

Los i

distintas intersecciones de los tres conjuntos A, B

i t

El i

ti

grfica) es evidente. Venn senta afici n a la bsqueda de diagramas para ms de tres conjuntos, a los que defina  La dificultad de representar ms de tres conjuntos mediante diagramas de Venn o cual uierotra representaci n  I [editar] suponen

como figuras simtricas, elegantes en s mismas". A lo largo de su vida dise varias de estas representaciones

usando elipses, as como indicaciones para la creacin de diagramas con cualquier cantidad de curvas, partiendo del

[editar]Diagramas e Venn e E wards A. W. . Edwards dise representaciones para diagramas de Venn de ms de tres conjuntos,proyectando el diagrama sobre una esfera. Se pueden representar fcilmente tres conjuntos tomando tres emisferios en ngulos

pelota de tenis que suba y baje alrededor del ecuador. Los conjuntos resultantes pueden proyectarse de nuevo sobre el plano para mostrar diagramas de engranaje, con cantidades cada vez mayores de dientes. Edwards ide estos diagramas mientras diseaba la ventana acristalada en memoria de Venn que oy adorna el comedor de su colegio.

i agrama para cuatro

conjuntos. Diagrama de Venn.

conjuntos.

conjuntos.

Los diagramas de Venn son ilustraciones usadas en la rama de las matemticas conocida como teora de conjuntos. Estos diagramas se usan para mostrar grficamente la relacin matemtica o lgicaentre diferentes grupos de cosas conjuntos), representando cada conjunto mediante un valo o crculo. La forma en que esos crculos se sobreponen entre s muestra todas las posibles relaciones lgicas entre los conjuntos que representan. Por ejemplo, cuan los crculos se superponen, indican la existencia de subconjuntos do con algunas caractersticas comunes. Orgenes e Historia. Los diagramas de Venn reciben su nombre de su creador, ohn Venn, matemtico y filsofo britnico. Estudiante y

0 con la publicacin Venn introdujo el sistema de representacin que hoy conocemos con su nombre en julio de de su trabajo titulado e la representacin mecnica y diagramtica de proposiciones y razonamientos n the i agrammatic and echanical epresentation of Propositions and easonings) en el Philosophical ournal of Science, provocando un cierto revuelo en el mun de la lgica formal. do

Aunque la primera forma de representacin geomtrica de silogismos lgicos se atribuye comnmente a ottfried Leibniz, y fue luego ampliada por eorge Boole y Augustus e organ, el mtodo de Venn superaba en claridad y sencillez a los sistemas de representacin anteriores, hasta el punto de convertirse con el tiempo en un nuevo estandar. Venn fue el primero en formalizar su uso y en ofrecer un mecanismo de generalizacin para los mismos. s adelante desarroll algo ms su nuevo mt do en su libro Lgica simblica, publicado en o con el nimo de interpretar y corregir los trabajos de Boole en el campo de la lgica formal. Aunque no tuvo demasiado xito en su empeo, su libro se convirti en una excelente plataforma de ejemplo pa el nuevo sistema de representacin. ra Los diagramas de Venn se emplean hoy da para ensear matemticas elementales y para reducir la lgica y la eora de conjuntos al clculo simblico puro. Se suelen usar tambin en el aula diagramas de Venn de dos ores t conjuntos como herramienta de sntesis, para ayudar a los estudiantes a comparar y contrastar dos o tres de elementos; en este uso, se incluyen dentro de cada elemento las caractersticas exclusivas, y en las intersecciones, las comunes con los otros. Tipos de diagramas de venn

ms tarde profesor en el aius ollege de la entre esas cuatro paredes.

niversidad de

i agrama para tres

ambridge, desarroll toda su produccin intelectual

i agrama para cinco

rectos x=0, y=0 y z=0).

n cuarto conjunto se puede representar tomando una cur similar a la juntura de una va

conjuntos.

diagrama de tres crculos

ace falta mas informacin faltan dibujos)

i agrama para seis

agazine and

Diagrama de dos conjuntos Observemos el ejemplo a la derecha: Supongamos que el conjunto A (el crculo naranja) representa, por ejemplo, todas las criaturas vivas con solo dos piernas motrices, y el conjunto B (el crculo azul) contiene a todas las criaturas que pueden volar. El area donde ambos crculos se sobreponen (que recibe el nombre de interseccin entre A y B, o interseccin A - B) contendra por tanto todas las criaturas que, al mismo tiempo, pueden volar y tienen solo dos piernas motrices. Imaginemos ahora que cada tipo distinto de criatura viva est representado con un punto situado en alguna parte del diagrama. Los humanos y los ping inos estaran dentro del crculo naranja (el conjunto A) en la parte en la que no se sobrepone al crculo azul (el conjunto B), ya que ambos son bpedos y no pueden volar. Los mosquitos, que tienen seis piernas motrices y pueden volar, estaran representados con un punto dentro del crculo azul fuera de la interseccin A - B. Los loros, que tienen dos piernas motrices y pueden volar, estaran representados por un punto dentro de la interseccin A - B. Cualquier tipo de criatura que no tuviera solo dos piernas ni pudiera volar (como por ejemplo las ballenas o las serpientes), estara representado mediante puntos fuera de ambos crculos. El diagrama de Venn representado en el ejemplo 1 puede describirse como la relacin entre el conjunto A y el conjunto B. El rea combinada de ambos conjuntos recibe el nombre de unin de los conjuntos A y B. La unin en este caso contiene todos los tipos de criaturas que tienen dos piernas, pueden volar, o ambas cosas a la vez. El rea donde los conjuntos A y B se entrecruzan se define como la interseccin de A y B. Contiene todos los tipos de criaturas que pertenecen a la vez a A y a B, es decir, que tienen dos piernas Y pueden volar. Un diagrama de Venn de dos conjuntos define 3 reas diferentes, que pueden unirse en 6 posibles combinaciones: A (dos patas) A y B (dos patas y vuelan) A y no B (dos patas y no vuelan) no A y B (ms o menos de dos patas, y vuelan) no A y no B (ni tienen dos patas ni vuelan) B (vuelan) A veces se incluye un rectngulo alrededor del diagrama de Venn, que recibe el nombre de conjunto universal. Se usa para representar el conjunto de todas las cosas posibles. La definicin del universo, al igual que la de los conjuntos, depende del diagrama sobre el que se representa. La idea de conjunto universal, aunque fue apuntada por el propio Venn, se atribuye habitualmente a Charles Dodgson, ms conocido como Lewis Carroll. Diagramas de tres conjuntos. Los diagramas de tres conjuntos fueron los ms corrientes elaborados por Venn en su presentacin inicial. Las distintas intersecciones de los tres conjuntos A, B y C definen ocho areas diferentes, cuyas posibles uniones suponen 256 combinaciones distintas de los tres conjuntos iniciales. Ms de tres conjuntos La dificultad de representar ms de tres conjuntos mediante diagramas de Venn (o cualquier otra representacin grfica) es bien evidente. Venn senta aficin a la bsqueda de diagramas para ms de t es conjuntos, a los que r defina como figuras simtricas, elegantes en s mismas. A lo largo de su vida dise varias de estas representaciones usando elipses, as como indicaciones para la creacin de diagramas para cualquier cantidad de curvas, partiendo del diagrama de tres crculos. Una de las principales teoras dentro de la matemtica actual es la Teora de los Conjuntos. Podramos decir que es una teora que nos explica el funcionamiento de una coleccin de elementos cuando realizamos alguna operaci n con ellos. De la definicin anterior observamos la primera dificultad que se encuentra un estudiante al estudiar esta teora, pues se empieza sin ninguna definicin vlida. El concepto de conjunto se acepta sin definicin. La segunda dificultad a la que una persona se enfrenta cuando estudia la Teora de Conjuntos es la de las operaciones con conjuntos. Una parte que sin lugar a dudas es muy importante ya que influir en otras teoras matemticas. Pues bien, los Diagramas de Venn intentan corregir, de alguna manera, dicha dificultad. Los Diagramas de Venn se basan fundamentalmente en representar los conjuntos matemticos con unas circunferencias. Con estas circunferencias el estudiante realiza una serie de operaciones como la unin, la

interseccin, etc. Podramos decir que el manejo de los Diagramas de Veen sirven para orientar al estudiante, son una herramienta metodolgica que tiene el profesor para explicar la Teora de Conjuntos. Pues bien vamos a citar a continuacin los ejemplos ms importantes de los Diagramas de Veen. Diagrama de la intersecci n de dos conjuntos. En teora la interseccin de dos conjuntos podemos definirla como la parte comn que tienen dos conjuntos, si es que existe(Ejemplo de inexistencia: la interseccin de los nmeros pares con los impares) . Pues el diagrama que viene a continuacin representa dicha situacin.

La interseccin de los conjuntos A y B es la parte azulada, en efecto vemos que la parte comn que comparte el conjunto A con el B es la parte azul. En matemticas la interseccin se representa A B.

Diagrama de la intercesin vaca (no hay ningn elemento comn) En efecto, se observa que ambos conjuntos no tienen ninguna parte comn. Esto se le llama en Matemticas conjunto vaco y se representa: . Diagrama de la uni n de dos conjuntos.

En teora la unin de dos conjuntos podemos definirla como una suma de un conjunto con otro. Pues el diagrama que se muestra a continuacin representa la situacin descrita anteriormente.

La unin de los conjuntos A y B es la parte colorada, podemos ver que se han sumado el conjunto A y el B. En matemticas la unin se representa AUB. Diagrama del complementario de un conjunto.

En teora el complementario de un conjunto se hace en referencia a un conjunto universal y se define como los elementos que no pertenecen al conjunto. Tan raro se entiende mejor con el siguiente diagrama. El conjunto U es el universal(parte amarilla y blanca) y el complementario de A es solo la parte amarilla del dibujo. El c complementario de un conjunto se representa A .

Diagrama de la diferencia de conjuntos.

La diferencia B - A es la parte de B que no est en A. La diferencia de conjuntos en matemticas se expresa B\A, para este caso.

Diagrama de la inclusi n de conjuntos. En el diagrama se puede observar como el conjunto B esta contenido (o incluido) en el conjunto A. Esto matemticamente se expresa BA.

Con estos diagramas se pueden representar la gran mayora de las operaciones con conjuntos.Pero, las aqu expuestas son las fundamentales a partir de ellas se obtienen las dems. Notas biogrficas Jhon Venn naci el 4 de agosto de 1833 en Hull (Inglaterra) y muri el 4 de abril de 1923 en Cambridge (Inglaterra).Este cientfico nace en una familia acomodada y evanglica y cristiana. Fue profesor en la Universidad de Cambridge, imparta clases de lgica y probabilidad, estaba interesado en las teoras de De Morgan y Boole. Con relacin a este ltimo se encarg de ampliar su teora acerca de la lgica matemtica con lo que elabora los diagramas que hemos visto antes. Entre sus libros cabe destacar Symbolic Logic (Lgica Simblica) en 1881 y The Principles of Empirical Logic (Los Principios de la Lgica Emprica ) en 1889.