LGEBRA

Fuente: http://deportes.ole.com/personal/jftjft/Home.htm

Introduccin:
El trmino lgebra viene del ttulo de la obra al-jebr w'al-muqabalah, del matemtico rabe Mahommed ibn Musa al-Kharizmi, que significa Mahommed, hijo de Musa, natural de Kharizm (actualmente Jiva, Uzbekistan). La obra al-jebr w'al-muqabalah fue traducida al latn, por primera vez, en la Escuela de Traductores de Toledo y tuvo mucha influencia en las matemticas de la poca. La traduccin del ttulo de la obra era complicado, por lo que los traductores optaron por latinizar el ttulo, convirtindolo en aljeber que acab derivando en el actual lgebra. La palabra jebr se refiere a la operacin de pasar al otro lado del igual un trmino de una ecuacin y la palabra muqabalah se refiere a la simplificacin de trminos iguales. El trmino utilizado para referirse a la incgnita era shay que significa cosa en rabe y en las traducciones latinas se tradujo por res (cosa en latn), y por eso, a las personas que resolvan ecuaciones se les llamaba cosistas. En Espaa, donde la influencia rabe fue muy importante, surgi el trmino lgebra, se utiliz para referirse al arte de restituir a su lugar los huesos dislocados y el trmino algebrista que era la persona que saba arreglar las dislocaciones. Otro libro de al-Kharizmi fue De numero indiorum (Sobre los nmeros hindes ). En este libro se dan las reglas para hacer las operaciones aritmticas. Estas reglas se denominaron como las reglas de al-Kharizmi y por deformacin de la palabra lleg al trmino actual algoritmo. El lgebra es una rama de las Matemticas que estudia la forma de resolver las ecuaciones. Una de las caractersticas del lgebra es que utiliza smbolos para representar nmeros. El lgebra actual trata con entidades mas generales que los nmeros y sobre estas entidades define operaciones (similares a las operaciones aritmticas). Esta nueva lgebra se debe a Galois.

Teorema fundamental del lgebra

El teorema fundamental del lgebra es un teorema sobre la resolucin de ecuaciones. Sea la ecuacin x + a = b. donde a y b son nmeros Naturales. En este caso, no siempre la solucin pertenece a los nmeros Naturales (por ejemplo, cuando a = 5 y b = 1, la solucin es x = -4, que no es un nmero Natural). Sea la ecuacin x + a = b. donde a y b son nmeros Enteros. En este caso, la solucin siempre pertenece a los nmeros Enteros. Sea la ecuacin ax + b = 0. donde a y b son nmeros Enteros. En este caso, no siempre la solucin pertenece a los nmeros Enteros (por ejemplo, cuando a = 3 y b = 2, la solucin es x = -2/3, que no es un nmero Entero). Sea la ecuacin ax + b = 0. donde a y b son nmeros Racionales. En este caso, las olucin siempre pertenece a los nmeros Racionales. Sea la ecuacin x2 = 2. La solucin de esta ecuacin no pertenece a los nmeros Racionales sino a los nmeros Reales. Sea la ecuacin x2 + 1 = 0, la solucin de esta ecuacin pertenece a los nmeros Complejos. Pues bien, el teorema fundamental del lgebra establece que cualquier ecuacin polinmica, P(x) = anxn + an-1xn-1 + an-2xn-2 + ... + a0 = 0, de grado mayor que 1, con coeficientes complejos, tiene solucin, y esta solucin pertenece a los nmeros complejos.

lgebra de Boole
Fue George Boole el fundador de este lgebra. De manera elemental este lgebra trata slo con ceros y unos. Poda parecer de poco inters, pero si reflexionamos un poco nos daremos cuenta de que muchas cuestiones slo admiten dos estados (verdadero/falso, si/no, encendido/apagado).

Conceptos iniciales
Proposicin: Enunciado del que se puede decir si es verdadero o falso. Absurdo: Proposicin que siempre es falsa. Tautologa: Proposicin que siempre es cierta.

Operaciones con proposiciones

Negacin: Si una proposicin es cierta la negada es falsa. Si una proposicin es falsa la negada es cierta. El smbolo de la negacin es Conjuncin: Las dos proposiciones deben ser ciertas. El smbolo de la conjuncin es una v, a veces tambin se utiliza el smbolo &. Disyuncin: Al menos una de las proposiciones debe ser cierta. El smbolo de la disyuncin es una v invertida, a veces tambin se utiliza el smbolo |. Implicacin: La proposicin primera condiciona la segunda proposicin. El smbolo de la implicacin es una flecha doble de un slo sentido. ==> Doble implicacin: La proposicin resultante slo es cierta si ambas son ciertas o ambas falsas. El smbolo de la doble implicacin es una flecha doble de dos sentidos <===>.

Tablas de verdad de las operaciones

La negacin es una operacin que afecta a una sola proposicin. El resto de lsa operaciones requieren dos proposiciones. Haz click para ver grfica 1

George Boole
Naci: el 2 de noviembre de 1845 en Lincoln (Inglaterra) Muri: el 8 de diciembre de 1864 en Ballintemple, Irlanda. Era de familia humilde (una forma delicada de decir que era pobre) y recibi una educacin elemental. Estudi por su cuenta latn y griego. A los 12 aos era un experto en Latn. A esta edad tradujo una oda de Horacio, pero la traduccin era tan perfecta que no se creian que era la traduccin de un nio. Boole no curs estudios oficiales. A los 16 aos era ayudante del maestro de escuela (en aquella poca, todos los alumnos, estaban en el mismo aula y los alumnos de los cursos superiores, ayudaban al maestro en la enseanza de los alumnos de los cursos inferiores). En 1835 abri su propia escuela y empez a estudiar matemticas por su cuenta. En esta poca fue cuando estudi los trabajos de Laplace y de Lagrange. Se cas con una sobrina de George Everest (el que dio nombre a la famosa montaa).

En 1847 public The Mathematical Analysis of Logic y en 1854 Investigation of the Laws of though, un clsico en la historia de la matemtica. Descubri un mtodo excelente para resolver ecuaciones diferenciales, sus trabajos Treatise on Differential Equations (1859) y Treatise on the Calculus of Finite Differences (1860) pero sobre todo es conocido por lo que hoy se llama la lgica de Boole, que se utiliza en los ordenadores. A pesar de no tener estudios oficiales, Boole tuvo el reconocimiento de las Universidades de Dublin y Oxford y fue elegido Fellow de la Royal Society en 1857. Muri a los 49 aos, como consecuencia de un resfriado debido a que se moj en la caminata desde su casa a la escuela.

lgebra de Boole Definicin

Un lgebra de Boole es un conjunto en el que: 1- Se han definido dos funciones binarias (que necesitan dos parmetros) que llamaremos aditiva (que representaremos por x + y) y multiplicativa (que representaremos por xy) y una funcin monaria (de un solo parmetro) que representaremos por x'. 2- Se han definido dos elementos (que designaremos por 0 y 1) 3- Tiene las siguientes propiedades: a) Conmutativa respecto a la primera funcin: x + y = y + x b) Conmutativa respecto a la segunda funcin: xy = yx c) Asociativa respecto a la primera funcin: (x + y) + z = x + (y +z) d) Asociativa respecto a la segunda funcin: (xy)z = x(yz) e) Distributiva respecto a la primera funcin: (x +y)z = xz + yz f) Distributiva respecto a la segunda funcin: (xy) + z = (x + z)( y + z) g) Identidad respecto a la primera funcin: x + 0 = x h) Identidad respecto a la segunda funcin: x1 = x i) Complemento respecto a la primera funcin: x + x' = 1

j) Complemento respecto a la segunda funcin: xx' = 0

Propiedades del lgebra de Boole

Idempotente respecto a la primera funcin: x + x = x Idempotente respecto a la segunda funcin: xx = x Maximalidad del 1: x + 1 = 1 Minimalidad del 0: x0 = 0 Involucin: x'' = x Inmersin respecto a la primera funcin: x + (xy) = x Inmersin respecto a la segunda funcin: x(x + y) = x Ley de Morgan respecto a la primera funcin: (x + y)' = x'y' Ley de Morgan respecto a la segunda funcin: (xy)' = x' + y'

Funcin booleana
Una funcin booleana es una aplicacin de A x A x A x ....A en A, siendo A un conjunto cuyos elementos son 0 y 1 y tiene estructura de lgebra de Boole. Supongamos que cuatro amigos deciden ir al cine si lo quiere la mayora. Cada uno puede votar si o no. Representemos el voto de cada uno por x i. La funcin devolver s (1) cuando el numero de votos afirmativos sea 3 y en caso contrario devolver 0. Si x1 vota 1, x2 vota 0, x3 vota 0 y x4 vota 1 la funcin booleana devolver 0. Producto mnimo (es el nmero posible de casos) es un producto en el que aparecen todas las variables o sus negaciones. El nmero posible de casos es 2n. Siguiendo con el ejemplo anterior. Asignamos las letras A, B, C y D a los amigos. Los posibles casos son: Votos ABCD 1111 1110 1101 Resultado 1 1 1

1100 1011 1010 1001 1000 0111 0110 0101 0100 0011 0010 0001 0000

0 1 0 0 0 1 0 0 0 0 0 0 0

Las funciones booleanas se pueden representar como la suma de productos mnimos (minterms) iguales a 1. En nuestro ejemplo la funcin booleana ser: f(A,B,C,D) = ABCD + ABCD' + ABC'D + A'BCD

Diagramas de Karnaugh
Los diagramas de Karnaugh se utilizan para simplificar las funciones booleanas. Se construye una tabla con las variables y sus valores posibles y se agrupan los 1 adyacentes, siempre que el nmero de 1 sea potencia de 2.