UNIVERSIDAD NACIONAL DE LA PLATA FACULTAD DE CIENCIAS ASTRONMICAS Y GEOFSICAS

Programa de la materia(*): LGEBRA

Carrera: Licenciatura en Astronoma; Geofsica 1) ELEMENTOS DE LGICA: Enunciados. Proposiciones simples y compuestas. Conectivos. Tablas de verdad. Tautologa. Contradiccin. Funcin lgica. Conjunto de validez. Cuantificadores. Enunciados de existencia y unicidad. Contraejemplos. Generalizacin y ejemplificacin. Equivalencia lgica. Implicacin lgica. Argumentos. Reglas de Inferencia. 2) ELEMENTOS DE TEORA DE CONJUNTOS: PARTE 1: Pertenencia. Inclusin. Igualdad. Conjunto vaco. Conjunto Universal. Operaciones entre conjuntos: unin, interseccin, diferencia, diferencia simtrica, complemento. Propiedades. Conjunto de partes. Unin e interseccin generalizadas. PARTE 2: Producto cartesiano de dos conjuntos. Relaciones en un conjunto. Propiedades: reflexividad, simetra, transitividad, asimetra. Relaciones de orden. Diagrama de Hasse. Elementos distinguidos: maximales, minimales, primero y ltimo. Cotas de un subconjunto ordenado, supremo, nfimo. Conjunto totalmente ordenado. Conjunto bien ordenado. Orden inducido. Relaciones de equivalencias: Clases de equivalencia. Conjunto cociente. Particin inducida. Funciones. Igualdad. Composicin. Propiedades: inyectividad, suryectividad y biyectividad. Existencia de inversa. Restriccin y extensin de una funcin. Grfico. Operaciones en un conjunto. Propiedades: asociativa, conmutativa, existencia de neutro, existencia de opuestos. Conjuntos coordinables. Familias de conjuntos con subndices. 3) TEORA DE NMEROS I- NMEROS NATURALES Nmeros reales: suma y multiplicacin. Propiedades. Orden total. Propiedades. Subconjunto inductivo. Nmeros naturales: definicin como interseccin de subconjuntos inductivos. Principio de Induccin Completa. Principio de buena ordenacin. Equivalencia de ambos. Conjuntos finitos y numerables no finitos. Idea de cardinal. Definiciones por recurrencia: sumatoria, productoria, factorial, potenciacin de nmeros reales. Combinatoria: permutaciones. Variaciones con y sin repeticin. Combinaciones simples. Binomio de Newton. II-NMEROS ENTEROS Y RACIONALES: Propiedades de las operaciones con enteros. Divisibilidad. Nmeros primos. Teorema del algoritmo de la divisin. Mximo comn divisor. Algoritmo de Euclides. Ecuaciones diofanticas. Mnimo comn mltiplo. Teorema fundamental de la Aritmtica. Racionales: definicin. Aplicacin del Teorema fundamental de la Aritmtica para demostrar la irracionalidad de un nmero real. III-NMEROS COMPLEJOS: Definicin. Operaciones y propiedades. Formas par ordenados, binmica y polar. Representacin grfica. Frmula de De Moivre para Potenciacin entera. Radicacin. Potencia fraccionaria. Races n-simas. Primitivas de la unidad. 1

UNIVERSIDAD NACIONAL DE LA PLATA FACULTAD DE CIENCIAS ASTRONMICAS Y GEOFSICAS

4.- POLINOMIOS DE UNA INDETERMINADA 4.1 Definicin de K(x) (K=R, C, Zp, etc.) Operaciones. Propiedades. Algoritmo de la divisin. Divisibilidad. Polinomios irreducibles. Mximo comn divisor. Algoritmo de Euclides. Mnimo comn mltiplo. 4.2 Raz de un polinomio. Teorema del resto. Regla de Ruffini. Polinomio derivado. Frmula de Taylor. Races mltiple. Caracterizacin por los polinomios derivados. 4.3 Teorema Fundamental de lgebra: consecuencias. Teorema Fundamental de la Aritmtica. Descomposicin factorial. Races complejas de un polinomio con coeficientes reales. Relaciones entre coeficientes y races. Reduccin a un polinomio con todas sus races simples. 5.- MATRICES Definicin. Matriz transpuesta. Operaciones. Propiedades. Matrices especiales. Matrices invertibles. 6.- ELEMENTOS DE ESTRUCTURAS ALGEBRICAS (1ra parte) 6.1 Operaciones binarias: Definicin, propiedades y ejemplificacin de grupos, subgrupos, anillos, anillos de integridad, cuerpo (ejemplificando con las estructuras ya vistas). 6.2 Espacios vectoriales: Definicin. Propiedades. Subespacios. Combinacin lineal. Suma e interseccin de subespacios. Generadores. Dependencia e independencia lineal. Propiedades. Bases y dimensin de un espacio vectorial. Espacios de dimensin finita. Dimensin del espacio suma. Suma directa. Base ordenada. Coordenadas. 7.- SISTEMAS DE ECUACIONES Y METRICES (resolucin numrica) Definicin de solucin. Expresin de un sistema en forma matricial. Sistemas equivalentes. Operaciones elementales por fila. Matrices elementales. Matrices equivalentes por filas. Aplicacin a la resolucin de sistemas. Condiciones de compatibilidad. Aplicacin al clculo de la matriz inversa. Mtodo de Gauss-Jordan. 8.- DETERMINANTES Definicin. Subdeterminantes. Complementos y cofactores. Propiedades. Determinante de un producto de matrices. Caracterizacin de las matrices invertibles. Matriz adjunta. Clculo de inversa. Aplicacin a la resolucin de sistema de ecuaciones: Regla de Cramer. Rango de matrices. 9.- TRASFORMACIONES LINEALES. 9.1 Definicin y propiedades. Ncleo e imagen. Transformaciones especiales: endomorfismo, monomorfismo, epimorfismo, etc. Teorema de la dimensin. Consecuencias. Isomorfismos. Extensin por linealidad de una funcin definida sobre una base. 9.2 Matrices asociadas a una transformacin lineal. Isomorfismo entre Hom K(v,v) y K dim K(V)x dim K(V). Clculo de transformaciones utilizando matrices. Matriz de la composicin de transformaciones. Cambio de base. Matrices semejantes. Propiedades. Rango de matrices, rango de una transformacin lineal y nulidad. 10.- APLICACIONES DE LAS TRANSFORMACIONES LINEALES A LOS SISTEMAS DE ECUACIONES. Espacio solucin de los sistemas homogneos. Condicin de compatibilidad. Teorema de Rouchee-Frobenius. BIBLIOGRAFA: 2

UNIVERSIDAD NACIONAL DE LA PLATA FACULTAD DE CIENCIAS ASTRONMICAS Y GEOFSICAS

L. Oubina: Introduccin a la Teora de Conjuntos Eudeba, Bs. As. 1974. M. Sagastume: Introduccin al Clculo Proposicional y a las Teora de Primer Orden CECE, La Plata, 1986. E. Gentile: Notas de lgebra, Eudeba, Bs. As, 3ra Edicin 1984. M. Cortlar-C. Sadosky: Introduccin al lgebra, Eudeba, Bs. As., 1977. A. Sagastume Berra-G. Fernndez: lgebra y Clculo Numrico Kapeluz, Bs. As., 1960. P. Kahn: Introduccin al lgebra Lineal, Harper and Row Publishers inc. E. F. Krause: Introduction to linear Algebra, Holt, Rinehart and Winston, USA, 1970. E. Gentile: lgebra Lineal-Notas de lgebra II, edit. Docencia S.A., Bs. As., 1981. S. Lang: lgebra Lineal Fondo Educativo Interamericano, Mxico, 1976.

Consulta: J. Bosch: Introduccin al Simbolismo Lgico, Eudeba, Bs. As., 1965. I. Copi: Introduccin a la Lgica Eudeba, Bs. As., 1973. P. Suppes-S. Hill: Introduccin a la lgica matemtica Editorial Reverte S.A. Barcelona, 1968. P. Halmos: Teora intuitiva de los Conjuntos CECSA, Mxico, 1965. Rey Pastor-Pi Calleja-Trejo: Anlisis Matemtico, Tomo 1, Reverte Bs. As., 1965. N. Mc Coy: Introduction to modern Algebra Revised EditionAllynand Bacon inc., Boston, 1971. J. Gordon: Algoritmos Numricos, La Plata, 1985. K. Hoffman-P. Kunze: lgebra Lineal, Edit. Prentice Hall internacional, Madrid, 1973. G. Mostov-J. Sampson: lgebra Lineal Centro Regional de Ayuda Tcnica, Mxico 1972.

(*): El presente archivo es transcripcin del programa vigente que obra en el Departamento de Alumnos de nuestra Facultad. Bajo ningn concepto este escrito puede ser utilizado como programa oficial.