Matemáticas

De Wikipedia

La Matemática (del griego μάθημα, máthema: ciencia, conocimiento, aprendizaje,

μαθηματικóς, mathematikós: amante del conocimiento) es el estudio de patrones en las
estructuras de entes abstractos y en las relaciones entre ellas. Algunos matemáticos se refieren
a ella como la "Reina de las Ciencias". En español también se puede usar el término en plural:
Matemáticas.

Aunque la matemática sea la supuesta "Reina de las Ciencias", algunos matemáticos no la

consideran una ciencia natural. Principalmente, los matemáticos definen e investigan
estructuras y conceptos abstractos por razones puramente internas a la matemática, debido a
que tales estructuras pueden proveer, por ejemplo, una generalización elegante, o una útil
herramienta para cálculos frecuentes. Además, muchos matemáticos estudian sus áreas de
preferencia simplemente por razones estéticas, viendo así la matemática como una forma del
arte en vez de una ciencia práctica o aplicada. Sin embargo, las estructuras que los
matemáticos investigan frecuentemente sí tienen su origen en las ciencias naturales, y muchas
veces encuentran sus aplicaciones en ellas, particularmente en la Física.

La matemática es un arte, pero también una ciencia de estudio. Informalmente, se puede decir
que la matemática es el estudio de los "números y símbolos". Es decir, es la investigación de
estructuras abstractas definidas axiomáticamente utilizando la lógica y la notación
matemática. Es también la ciencia de las relaciones espaciales y cuantitativas. Se trata de
relaciones exactas que existen entre cantidades y magnitudes, y de los métodos por los cuales,
de acuerdo con estas relaciones, las cantidades buscadas son deducibles a partir de otras
cantidades conocidas o presupuestas. Otros puntos de vista pueden encontrarse en la Filosofía
matemática.

No es infrecuente encontrar a quien describe la matemática como una simple extensión de los
lenguajes naturales humanos, que utiliza una gramática y un vocabulario definidos con
extrema precisión, cuyo propósito es la descripción y exploración de relaciones conceptuales
y físicas. Recientemente, sin embargo, los avances en el estudio del lenguaje humano apuntan
en una dirección diferente: los lenguajes naturales (como el español y el francés) y los
lenguajes formales (como la matemática y los lenguajes de programación) son estructuras que
son de naturaleza básicamente diferente.

Tabla de contenidos
 1 Historia
 2 Categorías Instrumentos para
 3 Ramas cálculos matemáticos
 4 Conceptos errados
 5 Véase también Antiguos
 6 Enlaces externos Ábaco
Ábaco de Napier
Regla de cálculo
Historia Regla y compás
Cálculo mental
Históricamente, la matemática surgió con el fin de hacer los
cálculos en el comercio, para medir la tierra y para predecir Nuevos
Calculadoras
Ordenadores:
(Lenguajes de programación
software especializado)
los acontecimientos astronómicos. Estas tres necesidades pueden ser relacionadas en cierta
forma con la subdivisión amplia de las matemáticas en el estudio de la estructura, el espacio y
el cambio.

El estudio de la estructura comienza con los números, inicialmente los números naturales y
los números enteros.
Las reglas que dirigen las operaciones aritméticas se estudian en el álgebra elemental, y las
propiedades más profundas de los números enteros se estudian en la teoría de números. La
investigación de métodos para resolver ecuaciones lleva al campo del álgebra abstracta. El
importante concepto de vector, generalizado a espacio vectorial, es estudiado en el álgebra
lineal, y pertenece a las dos ramas de la estructura y el espacio. El estudio del espacio origina
la geometría, primero la geometría euclídea y luego la trigonometría.

La comprensión y descripción del cambio en variables mensurables es el tema central de las

ciencias naturales, y el cálculo. Para resolver problemas que se dirigen en forma natural a
relaciones entre una cantidad y su tasa de cambio, y de las soluciones a estas ecuaciones, se
estudian las ecuaciones diferenciales.

Los números usados para representar las cantidades continuas son los números reales. Para
estudiar los procesos de cambio se utiliza el concepto de función matemática. Los conceptos
de derivada e integral, introducidos por Newton y Leibniz, representan un papel clave en este
estudio, que se denomina Análisis.

Por razones matemáticas, es conveniente para muchos fines introducir los números complejos,
lo que da lugar al análisis complejo.

El análisis funcional consiste en estudiar problemas cuya incógnita es una función,

pensándola como un punto de un espacio funcional abstracto.

Un campo importante en matemáticas aplicadas es la probabilidad y la estadística, que

permiten la descripción, el análisis y la predicción de fenómenos que tienen variables
aleatorias y que se usan en todas las ciencias.

El análisis numérico investiga los métodos para realizar los cálculos en computadoras.

Crisis históricas

La matemática ha pasado por tres crisis históricas importantes:

1. El descubrimiento de la inconmensurabilidad por los griegos, la existencia de los

números irracionales que de alguna forma debilitó la filosofía de los pitagóricos.
2. Aparición del cálculo en el siglo XVII, con el temor de que fuera ilegitimo manejar
infinitesimales
3. La tercera fue el hallazgo de las antinomias, como la de Russell o la paradoja de Berry
a comienzos del siglo XX, que atacaban los mismos cimientos de la materia

Categorías
Una división básica de las ramas de la Matemática establece las siguientes categorías:

1. Aritmética, que estudia las operaciones con números.

2. Geometría, que se encarga de las formas, el espacio y sus relaciones.
 3. Análisis o cálculo, que trata las funciones y el calculo diferencial e integral.
4. Álgebra, o estudio de las estructuras, conjuntos, lenguajes simbólicos, ecuaciones, etc.
5. Probabilidad y Estadística, que abarcan, respectivamente, el estudio teórico del azar y
la descripción matemática de poblaciones.

Cada una de estas categorías se divide a su vez en pura o abstracta, en donde se consideran las
magnitudes o cantidades abstractamente, sin relación a la materia; y en aplicada, la cual trata
las magnitudes como substancia de cuerpos materiales, y por consecuencia se relaciona con
consideraciones físicas.

Los profesionales de la Matemática suelen considerar esta división simplista, sesgada e

ingenua. También parece desfasada la categorización "a la Kant" de decir que la Matemática
se puede describir en la Matemática de la Estructura, la Matemática del Espacio y la
Matemática del Cambio. Hoy en día las interrelaciones y los objetos de estudio dentro de la
Matemática son tan amplios que tiende a considerarse que las distintas ramas no son
categorías estancas, independientes unas de otras, sino que hasta las ramas más puras toman
prestados conocimientos y resultados de otras. Así, la Matemática moderna empieza a
perfilarse como una unidad de contenido, en el que las diversas ramas no son otra cosa que
colecciones de herramientas distintas para afrontar sus problemas (es precisamente esta
unidad lo que hace que cada vez se empiece a usar más el término "Matemática" frente a
"Matemáticas").

No obstante, las facultades de Matemática tienden a dividir entre Matemática Pura y

Matemática Aplicada. Por Matemática Pura se entiende el estudio de la Lógica Matemática, el
Álgebra, la Topología, la Geometría, el Análisis y la Estadística (entendiendo como tal el
estudio de la Probabilidad). Por Matemática Aplicada se entiende al uso de los conocimientos
de las ramas anteriores para la resolución de problemas susceptibles de describirse en
términos matemáticos, incluidos algunos problemas matemáticos de la Matemática Pura. La
principal diferencia entre Matemática Aplicada y Matemática Pura es el uso de las soluciones
aproximadas. Muchos problemas no pueden resolverse de forma exacta en un número finito
de pasos (ya sea calcular, por ejemplo la raíz cuadrada del número 2 o resolver una ecuación
en derivadas parciales). En la Matemática Pura no se tiene en cuenta esta limitación, y su
dedicación es la de determinar si los problemas tienen solución, si esta solución (en caso de
que exista) es única, y si es posible determinar algún método para determinar cuál es esa
solución. La Matemática Aplicada, por el contrario, asumiendo los resultados de las ramas
puras, intenta encontrar métodos de aproximación a la solución ya que, como se ha apuntado
antes, en la inmensa mayoría de los casos, los métodos de la Matemática Pura (cuando
existen) exigen una cantidad infinita de pasos. La Matemática Pura, entonces, intenta
encontrar una solución exacta, aun cuando en la práctica es imposible dar explícitamente esa
solución. La Matemática Aplicada prefiere tomar una solución aproximada, que no es la
solución exacta, pero que puede hallarse mediante una cantidad finita de pasos.

Estrictamente hablando, una solución aproximada no es una solución. Se comete un error, y

una de las principales tareas de la Matemática Aplicada es "controlar ese error cometido", es
decir, determinar procedimientos que nos permitan calcular o acotar el error cometido. Es esto
lo que da por bueno un método o no, que el error cometido pueda ser asumido por el problema
que se está estudiando sin representar una gran desviación del problema original.

Ramas
Las numerosas ramas de la matemática están muy interrelacionadas; he aquí una lista de
secciones que podemos considerar en su estudio.
Fundamentos y Métodos

Filosofía de la matemática - Intuición matemática - Constructivismo matemático -

Fundamentos de la matemática - Teoría de conjuntos - Subconjuntos flojos - Lógica
simbólica - Lógica difusa - Modelo matemático - Teoría de categorías - Demostración
matemática - Axiomática - Inducción

Investigación Operativa

Investigación operativa - Teoría de grafos - Teoría de juegos - Programación entera -

Programación lineal - Simulación - Optimización - Método simplex - Programación
dinámica

Números

Números - Número natural - Número entero - Número racional - Número irracional -

Número real - Número complejo - Cuaterniones - Octoniones - Sedeniones - Números
hiperreales - Números infinitos - Dígito - Sistema de numeración - Número p-ádico

Matemática del cambio

Cálculo - Cálculo vectorial - Análisis - Ecuación diferencial - Sistemas dinámicos y

teoría del caos - Lista de funciones - Logaritmo

Análisis

Sucesiones - Series - Análisis real - Análisis complejo - Análisis funcional - Álgebra

de operadores

Estructuras matemáticas

Álgebra abstracta - Teoría de números - Álgebra conmutativa - Geometría algebraica -

Teoría de grupos - Monoides - Análisis - Topología - Álgebra lineal - Teoría de grafos
- Teoría de categorías

Espacios

Topología - Geometría - Teoría de haces - Geometría algebraica - Geometría

diferencial - Topología diferencial - Topología algebraica - Álgebra lineal -
Cuaterniones y rotación en el espacio

Matemática finita

Combinatoria - Teoría de conjuntos - Estadística y probabilidad - Teoría de la

computación - Matemática discreta - Criptografía - Teoría de grafos - Teoría de juegos

Matemática aplicada

Mecánica - Cálculo numérico - Optimización - Matemática discreta - Estadística y

probabilidad

Teoremas y conjeturas famosas

 Teorema de Fermat - Hipótesis de Riemann - Hipótesis del continuo - clases de
complejidad P y NP - Conjetura de Goldbach - Conjetura de los números primos
gemelos - Teoremas de incompletitud de Gödel - Conjetura de Poincaré - Argumento
de la diagonal de Cantor - Teorema de Pitágoras - Teorema fundamental del cálculo -
Teorema Fundamental del Álgebra - Teorema de los cuatro colores - Lema de Zorn -
Identidad de Euler.

Conceptos errados
Lo que cuenta como conocimiento en matemática se determina no mediante experimentación,
sino mediante demostraciones. No es por lo tanto la matemática una rama de la física, la
ciencia a la que históricamente se encuentra más emparentada, puesto que la física es una
ciencia empírica. Por otro lado, la experimentación desempeña un papel importante en la
formulación de conjeturas razonables, por lo que no se excluye a ésta de la investigación en
matemáticas.

La matemática no es un sistema intelectualmente cerrado, donde todo ya esté hecho. Aún

existen gran cantidad de problemas esperando solución, así como una infinidad esperando su
formulación.

Matemática no significa contabilidad. Si bien los cálculos aritméticos son importantes en para
los contadores, los avances en matemática abstracta difícilmente cambiarán su forma de llevar
los libros.

Matemática no significa numerología. La numerología utiliza la aritmética modular para

nombres y fechas a números a los que se les atribuye emociones o significados esotéricos,
basados en la intuición o en tradiciones.

Véase también
 Lista de enunciados matemáticos
 Real Sociedad Matemática Española
 Matemáticos
 Tabla de símbolos matemáticos

Obtenido de "http://es.wikipedia.org/wiki/Matem%C3%A1ticas"

Lista de enunciados matemáticos

Lista de axiomas y postulados

1. Axiomas de Peano
 2. Postulados de Euclides
3. Postulado de Bertrand

Lista de teoremas
1. Pequeño teorema de Fermat
2. Regla de Barrow (o Segundo teorema fundamental del cálculo integral)
3. Teorema de Bayes
4. Teorema de Bolzano
5. Teorema de compacidad
6. Teorema de completitud de Gödel
7. Teorema de incompletitud de Gödel
8. Teorema de los números primos
9. Teorema de Löwenheim-Skolem
10. Teorema de Taniyama-Shimura
11. Teorema de Taylor
12. Teorema de Weierstrass
13. Teorema de la esfera
14. Teorema del lazo
15. Teorema del valor medio
16. Teorema fundamental del álgebra
17. Teorema fundamental de la aritmética
18. Teorema fundamental del cálculo integral
19. Último teorema de Fermat

Obtenido de "http://es.wikipedia.org/wiki/Lista_de_enunciados_matem%C3%A1ticos"

Axiomas de Peano
Los axiomas de Peano o postulados de Peano definen de manera exacta al conjunto de los
números naturales. Fueron establecidos por Peano (1858-1932), matemático italiano, en el
siglo XIX.

Básicamente, los naturales se pueden construir a partir de 5 axiomas fundamentales:

1. 1 es un número natural. (es decir, el conjunto de los números naturales no es vacío)

2. Si a es un número natural, entonces a+1 también es un número natural (llamado el
sucesor de a).
3. 1 no es sucesor de ningún número natural. (primer elemento del conjunto)
4. Si hay dos números naturales a y b tales que sus sucesores son diferentes entonces a y
b son números naturales diferentes.
5. Axioma de inducción: si un conjunto de números naturales contiene al 1 y a los
sucesores de cada uno de sus elementos entonces contiene a todos los números
naturales.

Los axiomas de Peano tal como fueron escritos (en latín), fueron

1. el 0 es un número
2. El sucesor inmediato de un número también es un número
3. 0 no es el sucesor inmediato de ningún número
 4. Dos números distintos no tienen el mismo sucesor inmediato
5. Toda propiedad perteneciente a 0 y al sucesor inmediato de todo número que también
tenga esa propiedad pertenece a todos los números (inducción matemática)

El hecho de considerar el 0 como natural o no es tema de controversia. Normalmente se

considera que lo es según si se necesita o no.

Postulados de Euclides
El libro de los Elementos de Euclides, escrito hacia el año 300 adC, expone los conocimientos
geométricos de la Grecia clásica deduciéndolos a partir de cinco postulados, considerados
como los más evidentes y sencillos:

1. Desde cualquier punto se puede trazar una recta a cualquier otro punto.
2. Toda recta se puede prolongar indefinidamente.
3. Con cualquier centro y cualquier distancia se puede trazar un círculo.
4. Todos los ángulos rectos son iguales.
5. Si una recta, cortando a otras dos, forma los ángulos internos a una misma parte
menores que dos rectos, las dos rectas prolongadas indefinidamente se encontrarán de
la parte en que los dos ángulos son menores que dos rectos.

El primero de ellos lo usa Euclides no sólo en el sentido de que por dos puntos pasa una recta,
sino de que ésta es única, porque tal unicidad era el noveno de sus axiomas. Es verosímil que
este axioma esté intercalado, y algunos consideran que debe colocarse entre los postulados,
complementando al primero. El cuarto postulado, que pudiera parecer algo oscuro a una
mentalidad moderna, es usado por Euclides en el sentido de que cualquier ángulo recto puede
superponerse sobre cualquier otro.

En términos actuales estos postulados podrían entenderse como sigue: El primero y el tercero,
al afirmar la posibilidad de trazar rectas y círculos, apuntan directamente a la estructura
subyacente. Hoy en día la estructura más natural que hace posibles los conceptos de distancia
y curva con dirección constante es la de superficie riemanniana. El cuarto afirma que el grupo
de las isometrías de la superficie actúa transitivamente en los puntos y los vectores de módulo
1; es decir, dado un vector e de módulo 1 en un punto p y otro vector v de módulo 1 en otro
punto q, existe alguna isometría de la superficie que transforma p en q y e en v. Es posible
demostrar que las únicas superficies riemannianas que satisfacen tal condición son el plano
euclídeo, el plano hiperbólico, el plano proyectivo y la esfera.

Si exigimos que por dos puntos pase una única recta, excluimos la esfera, porque por dos
puntos diametralmente opuestos (el polo norte y el polo sur) pasan infinitos meridianos (que
son las rectas en la esfera).

Si, con el segundo postulado, imponemos que las rectas tengan longitud infinita, eliminamos
el plano proyectivo, porque todas sus rectas tienen longitud finita (más aún, son compactas
porque el plano proyectivo lo es). Sólo el plano euclídeo y el plano hiperbólico satisfacen los
cuatro primeros postulados.

Ahora el quinto postulado deja como única posibilidad el plano euclídeo, que es precisamente
la estructura desentrañada por la geometría griega.
Vemos así claramente que, cuando a principios del siglo XIX Gauss, Lobachevsky y János
Bolyai consideraron la posibilidad de una geometría sin el quinto postulado, descubrieron
necesariamente la Geometría Hiperbólica. Ésta fue la primera geometría no euclídea en
aparecer históricamente y Gauss consideró seriamente la posibilidad de que fuera la geometría
del espacio en que vivimos, planteando así la cuestión de la estructura geométrica del
Universo, que conduciría a la Teoría de la Relatividad general de Einstein. Gauss incluso llegó
a presentir que la Geometría Hiperbólica era preferible, porque en ella hay unidades de
longitud naturales.

Postulado de Bertrand
El Postulado de Bertrand dice que si n > 3 es un entero, ebtonces existirá al menos un
número primo p con n < p < 2n − 2. Otra formulación mas debil pero mas elegante es: para
todo n > 1 existe al menos un primo p tal que n < p < 2n.

Este postulado fue inicialmente formulado en 1845 por Joseph Bertrand (1822-1900). El
propio Bertrand verificó su certeza para [2, 3 × 106].

La demostración de esta conjetura la encontró Chebyshev (1821-1894) en 1850 y por tanto el

postulado también es conocido como Teorema de Bertrand-Chebyshev or Teorema de
Chebyshev. Ramanujan (1887-1920) dio una demostración mas simple.

Notación matemática
Tabla de contenidos
 1 Teoría de conjuntos
 2 Expresiones
 3 Álgebra
 4 Lógica proposicional, Álgebra de Boole
o 4.1 Operadores básicos
o 4.2 Implicación
o 4.3 Cuantificadores
o 4.4 Ejemplos
o 4.5 Teoría de números
 4.5.1 Conjuntos numéricos especiales
 5 Análisis matemático
o 5.1 Conceptos básicos
o 5.2 Análisis real
 5.2.1 Límites
 5.2.2 Derivadas
 5.2.2.1 Derivadas ordinarias
 5.2.2.2 Derivadas parciales
 6 Misceláneos
o 6.1 Funciones
o 6.2 Tabla de Símbolos

Teoría de conjuntos
Sean x un elemento y A,B conjuntos

Operación Notación Se lee

pertenencia x pertenece a A
inclusión A está incluido en B / A está parcialmente incluido en B ??
A está incluido o es igual a B / A está incluido en B ??
inclusión A incluye a B ??
A incluye o es igual a B??

Nota: Una barra cruzada sobre el símbolo invierte el enunciado, por ejemplo es "x no
pertenece a A";

Expresiones
Operación Notación Se lee
igualdad x=y x es igual a y
menor que x < y x es menor que y
mayor que x > y x es mayor que y
aproximado x es aproximadamente igual a y
Notación Se lee
cuantificador universal para todo x ...
cuantificador existencial Existe x ... / Existe por lo menos (un) x
tal que x/y x, tal que y
por lo tanto x∴y x por lo tanto y

Álgebra
Lógica proposicional, Álgebra de Boole
Operadores básicos

Los operadores lógicos más básicos son la conjunción, la disyunción, y la negación.

Sean p y q dos proposiciones

Operación Notación Se lee

Negación no p
Conjunción pyq
Disyunción poq

Los operadores básicos se usan para formar declaraciones atómicas. Las declaraciones
atómicas dicen cual combinación de pp y qq es verdad.
Implicación

Una combinación muy útil de los operadores matemáticos es la implicación. Se escribe

o como abreviatura de . La declaración que p implica q es falsa si y
sólo si p es verdad pero no q.

Si y , se escribe , que se lee "p implica y es implicada por q", o bien

"p si y sólo si q".

Uno de los usos más comunes de los operadores lógicos se encuentra en la Programación de
Sistemas de Información, así como en la generación de circuitos eléctricos, y en general en
cualquier sistema de toma de decisiones para la empresa o para la vida cotidiana, por ejemplo:

Si salgo tarde de mi casa y no tengo carro, entonces llegaré tarde al trabajo.

Conjunción|Salgo tarde no tengo carro llegaré tarde al trabajo

Si decimos Aquí no hay nadie y aplicamos literalmente la doble negación expresada en

nuestro hablar coidiano entonces podríamos asegurar que Aquí estan todos.

Negación| hay nadie Aquí estan todos

Viajo en bus o viajo en mi auto, no las dos cosas a la vez.

Disyunción|viajo en bus viajo en mi auto o lo uno o lo otro

Si mi empresa no produce nada quiere decir que mi empresa 'produce todo'.

Negación| produce nada Produce todo

Cuantificadores

Hasta ahora las declaraciones que podemos hacer no dicen cuándo son verdades. Para
decirnos cuándo una declaración es verdad, necesitamos los cuantificadores. Hay dos
cuantificadores básicos: el cuantificador existencial, y el cuantificador universal. Aquí
están los símbolos.

Nombre Notación Se lee

cuantificador universal Para todo x...
cuantificador existencial Existe por lo menos un x...

Las declaraciones cuantificadas se escriben en la forma que se leen

"para todo x, es verdad que p" y "existe por lo menos un y tal que q es verdad".
En realidad, estas dos cuantificadores son iguales, ya que dice lo mismo que dice
. En palabras, decir "no es para todo x que p es verdad" es igual que decir "existe x
tal que p es falsa".

Ejemplos

Teoría de números

Conjuntos numéricos especiales

todos números con la forma p / q cuando

el conjunto de los números reales }

el conjunto de los números complejos }

Análisis matemático
Conceptos básicos

Análisis real

Límites

Para decir que el límite de la función f es L cuando x tiende á a, se escribe:

o bien .

Igualmente, para decir que la sucesión {an} va á a cuando n tiende a la infinidad, se escribe:

o bien .

Derivadas
Derivadas ordinarias

Se define la derivada de una función como el límite del cociente del cambio en la ordenada y
la abcisa. Hay varias notaciones para denotar la derivada de una función. Aquí están unos
ejemplos:

Derivadas parciales
La notación para las derivadas parciales es igual que para derivadas ordinarias; la diferencia
es que en vez de d o D, se escribe .

Misceláneos
Funciones

Para decir que una función f va desde el espacio X al espacio Y, se escribe .