MATEMTICA APLICADA

LIC. MBA EDGAR ALBERTO MICHEO OROZCO

CONCEPTOS BSICOS:
EL MTODO CIENTFICO EN LAS CIENCIAS EMPRICAS :
El mtodo cientfico es un proceso que tiene como finalidad el establecimiento de
relaciones entre hechos, para enunciar leyes que fundamenten el funcionamiento del
mundo.
La ciencia emprica es una de las fuentes de informacin ms valoradas actualmente
ya que se trata de un tipo de conocimiento respaldado por la investigacin experiencial
que muestra datos concretos.

EL SISTEMA DE LOS NMEROS REALES:

NMEROS REALES:
El conjunto de los nmeros reales pertenece en matemticas a la recta numrica que
comprende a los nmeros racionales y a los nmeros irracionales. Esto quiere decir
que incluyen a todos los nmeros positivos y negativos, el smbolo cero, y a los
nmeros que no pueden ser expresados mediante fracciones de dos enteros que
tengan como denominador a nmeros no nulos (excluye al denominador cero).

NMEROS REALES:
Un nmero real puede ser expresado de
diferentes maneras, por un lado estn los
nmeros reales que pueden ser expresados
con mucha facilidad, ya que no poseen
reglas complejas para hacerlo. Estos son los
nmeros enteros y los fraccionarios, como
por ejemplo el nmero 67 que viene a ser un
entero, o tambin el 3/4, que es un nmero
fraccionario compuesto de dos enteros, cuyo
numerador es 3 y su denominador es 4. Sin
embargo, tambin existen otros nmeros
que pueden ser expresados bajo diferentes
reglas matemticas ms complejas como
nmeros cuyos decimales son infinitos como
el nmero o 2 y que sirven para realizar
clculos matemticos pero no pueden ser
representados como un smbolo numrico
nico, esto se representa en el siguiente
conjunto
NMEROS REALES:
De otra forma, se muestra a continuacin un mapa conceptual de
nmeros reales
Nmeros racionales: es todo nmero que puede representarse como el
cociente de dos nmeros enteros o, ms precisamente, un entero y un natural
positivo; es decir, una fraccin comn con numerador y denominador distinto de
cero.
Propiedades de los nmeros racionales
Existen para la suma y resta, y para la multiplicacin y divisin, distintas
propiedades de los nmeros racionales, estos son:

Propiedad interna.- segn la cual al sumar dos nmeros racionales, el resultado

siempre ser otro nmero racional, aunque este resultado puede ser reducido a
su mnima expresin si el caso lo
necesitara.
Propiedad asociativa.- se dice que si se agrupa los diferentes sumandos
racionales, el resultado no cambia y seguir siendo un nmero racional. Veamos:

Propiedad conmutativa.- donde en la operacin, si el orden de los sumando

vara, el resultado no cambia, de esta manera:

Elemento neutro.- el elemento neutro, es una cifra nula la cual si es sumada a

cualquier nmero racional, la respuesta ser el mismo nmero racional.
Por otro lado, existen tambin las propiedades de los nmeros racionales por
parte de la multiplicacin y la divisin, y estas son:
Propiedad interna.- en razn de que al multiplicar nmeros racionales, el
resultado tambin es un nmero racional.

Esta adems aplica con la divisin

Propiedad asociativa.- donde al agrupar diferentes factores la forma de la

agrupacin, no altera el producto.
Propiedad conmutativa.- aqu se aplica la famosa frase, el orden de los
factores no altera el producto, entre los nmeros racionales tambin funciona.

Propiedad distributiva.- al combinar sumas y multiplicaciones, el resultado

es igual a la suma de los factores multiplicado por cada uno de los sumandos,
veamos el ejemplo:

Elemento neutro.- en la
multiplicacin y la divisin de
nmeros racionales, existe un
elemento neutro que es el
nmero uno, cuyo producto o
cociente con otro nmero
racional, dar como resultado el
mismo nmero.
Nmero entero es un elemento del conjunto numrico que
contiene los nmeros naturales = {0, 1, 2, 3, ...}, sus inversos
aditivos y el cero. Los enteros negativos, como 1 o 3 (se leen
menos uno, menos tres, etc.), son menores que todos los
enteros positivos (1, 2...) y que el cero.
Desigualdad matemtica
En matemticas, una desigualdad es una relacin de orden que se da entre dos
valores cuando stos son distintos (en caso de ser iguales, lo que se tiene es
una igualdad).
Si los valores en cuestin son elementos de un conjunto ordenado, como
los enteros o los reales, entonces pueden ser comparados.
La notacin a < b significa a es menor que b;
La notacin a > b significa a es mayor que b
estas relaciones se conocen como 'desigualdades estrictas, puesto que a no
puede ser igual a b; tambin puede leerse como "estrictamente menor que" o
"estrictamente mayor que".
La notacin a b significa a es menor o igual que b;
La notacin a b significa a es mayor o igual que b;
estos tipos de desigualdades reciben el nombre de desigualdades amplias (o no
estrictas).

Las desigualdades estn gobernadas por las siguientes propiedades. Notar que,
para las propiedades transitividad, adicin, sustraccin, multiplicacin y divisin,
la propiedad tambin se mantiene si los smbolos de desigualdad estricta (< y >)
son reemplazados por sus correspondientes smbolos de desigualdad no estricta
( y ).

Transitividad:
Para nmeros reales arbitrarios a,b y c:
Si a > b y b > c entonces a > c.
Si a < b y b < c entonces a < c.
Si a > b y b = c entonces a > c.
Si a < b y b = c entonces a < c.
Adicin y sustraccin; Para nmeros reales arbitrarios a,b y c:
Si a < b entonces a + c < b + c y a c < b c.
Si a > b entonces a + c > b + c y a c > b c.

Multiplicacin y divisin: Para nmeros reales arbitrarios a y b, y c diferente de cero:

Si c es positivo y a < b entonces ac < bc y a/c < b/c.
Si c es negativo y a < b entonces ac > bc y a/c > b/c.

Opuesto: Para nmeros reales arbitrarios a y b:

Si a < b entonces a > b.
Si a > b entonces a < b.
Recproco: para nmeros reales a y b distintos de cero, ambos positivos o negativos a
la vez:
Si a < b entonces 1/a > 1/b.
Si a > b entonces 1/a < 1/b.
Si a y b son de distinto signo:
Si a < b entonces 1/a < 1/b.
Si a > b entonces 1/a > 1/b.
Intervalo
Un subconjunto de la recta real se llama intervalo, y contiene a todos los nmeros
reales que estn comprendidos entre dos cualesquiera de sus elementos.
Geomtricamente los intervalos corresponden a segmentos de recta, semirrectas
o la misma recta real.
Los intervalos de nmeros correspondientes a segmentos de recta son intervalos
finitos, los intervalos correspondientes a semirrectas y a la recta real son
intervalos infinitos.
Los intervalos finitos pueden ser cerrados, abiertos o semiabiertos.
Sean a y b dos nmeros reales tales que a < b.
Intervalo cerrado
Es el conjunto de nmeros reales formado por a, b y todos los comprendidos
entre ambos.
Intervalo abierto
Es el conjunto de los nmeros reales comprendidos entre a y b.

Intervalo semiabierto a izquierda (o semicerrado a derecha)

Es el conjunto de nmeros reales formado por b y los nmeros comprendidos
entre a y b.

Intervalo semiabierto a derecha (o semicerrado a izquierda)

Es el conjunto de nmeros reales formado por a y los nmeros comprendidos
entre a y b.
Intervalo infinitos
Valor Absoluto: de un nmero real es su valor numrico sin tener en cuenta su
signo, sea este positivo (+) o negativo (-). As, por ejemplo, 3 es el valor
absoluto de +3 y de -3.
 La lgica matemtica, tambin llamada lgica simblica, lgica
teortica, lgica formal, o logstica, es parte tanto de la lgica y como de
la matemtica, y consiste en el estudio matemtico de la lgica, y en la
aplicacin de dicho estudio a otras reas de la matemtica y de las ciencias.
La lgica matemtica tiene estrechas conexiones con las ciencias de la
computacin y con la lgica filosfica.
La lgica matemtica estudia los sistemas formales en relacin con el
modo en el que codifican o definen nociones intuitivas de objetos
matemticos como conjuntos, nmeros, demostraciones, y algoritmos,
utilizando un lenguaje formal.
La lgica matemtica se suele dividir en cuatro sub campos: teora de
modelos, teora de la demostracin, teora de conjuntos y teora de la
recursin. La investigacin en lgica matemtica ha jugado un papel
fundamental en el estudio de las matemticas.
La lgica matemtica no es la lgica de las matemticas sino la
matemtica de la lgica. Incluye aquellas partes de la lgica que
pueden ser modeladas y estudiadas matemticamente.
La lgica matemtica comprende dos reas de investigacin distintas: la
primera es la aplicacin de las tcnicas de la lgica formal a las matemticas
y el razonamiento matemtico y la segunda, en la otra direccin, la
aplicacin de tcnicas matemticas a la representacin y el anlisis de la
lgica formal.
Lgica matemtica
La lgica matemtica estudia los sistemas formales en relacin con el modo
en el que codifican conceptos intuitivos de objetos matemticos como
conjuntos, nmeros, demostraciones y computacin. La lgica estudia las
reglas de deduccin formales, las capacidades expresivas de los diferentes
lenguajes formales y las propiedades metalgicas.
Sistemas lgicos
La lgica matemtica se interesa por tres tipos de aspectos de los sistemas
lgicos:
La sintaxis de los lenguajes formales, es decir, las reglas de formacin de
smbolos interpretables construidos a partir de un determinado alfabeto, y
las reglas de inferencia. En concreto el conjunto de teoremas deducibles de
un conjunto de axiomas.
La semntica de los lenguajes formales, es decir, los significados atribuibles
a un conjunto de signos, as como el valor de verdad atribuible a algunas de
las proposiciones. En general las expresiones de un sistema formal
interpretadas en un modelo son ciertas o falsas, por lo que un conjunto de
proposiciones que admite un modelo es siempre consistente.
Los aspectos metalgicos de los lenguajes formales, como por ejemplo
la completitud semntica, la consistencia, la compacidad o la existencia de
modelos de cierto tipo, entre otros.
Los diferentes tipos de sistemas lgicos pueden ser clasificados en:

Lgica proposicional (Lgica de orden cero): En ella existe smbolos para

variables proposicionales (que pueden ser interpretados informalmente
como enunciados que pueden ser ciertos o falsos) adems de smbolos para
diversas conectivas. Estas conectivas permiten formar expresiones
complejas a partir de variables proposicionales simples. Un sistema lgico
puede incluir diversos tipos de conectivas, entre ellos, la lgica clsica suele
hacer uso de los siguientes:

se lee no
se lee y
se lee o
se lee implica o si,entonces,
se lee equivalente con o "si, slo s
 Proposiciones
Las afirmaciones que son ciertas o falsas se llaman enunciados o proposiciones, la
mayor parte son matemticas, pero otras pueden provenir de la vida diaria, Todos
los individuos que respiran estn vivos, es un ejemplo de una proposicin cierta,
mientras que Todos los individuos que respiran estn sanos, es un ejemplo de
una proposicin falsa.
Es importante ver que las palabras que se usan para expresar estas afirmaciones
carecen de sentido preciso, es difcil distinguir entre una proposicin verdadera y
una falsa.
Supongamos que una afirmacin de:
Incluye una o mas variables, al sustituir x, por nmeros reales podemos generar
muchas proposiciones diferentes, muchas ciertas y algunas otras falsas.
Por eso decimos que la afirmacin es una proposicin abierta, esta es cierta de
hecho si x = 1 o x = -1, pero ser falsa en cualquier otro
caso
Implicaciones:
Para llevar el control de cada paso de un razonamiento lgico,
es practico usar las flechas de implicacin, supongamos que p y
q son dos proposiciones tales que, cuando p es cierta
necesariamente q lo es tambin.

podemos escribir la frase como p implica q, y escribimos pq.

Ejemplos:
Equivalencia:
Una implicacin p q, significa que para cada valor de una
variable que haga verdadera a p, q lo ser tambin. En estos
caso en los que la implicacin es valida, en cualquier sentido, se
puede decir que q p, en cuya caso se escriben ambas
implicaciones juntas en una sola equivalencia lgica:

pq

Ejemplos: