Fundamentos de matemtica elemental 1

1 poeriodo mateamtica

Maro
2009
Campus do Pontal
Prof. MSc. Quintiliano Siqueira Schroden Nomelini

CAPTULO 1
CONJUNTOS Y CONJUNTOS NUMERICOS

1.1.

CONCEPTOS BASICOS:

A) PROPOSICION: la proposicin es un discurso enunciativo perfecto, que

se expresa en un juicio que significa lo verdadero y lo falso como juicio
de trminos. Por eso el juicio es una afirmacin categrica, es decir,
incondicionada porque representa adecuadamente la realidad.
AXIOMA O POSTULADO: Un axioma es una proposicin que se considera
evidente y se acepta sin requerir demostracin previa. En un sistema
hipottico-deductivo es toda proposicin no deducida (de otras), sino que
constituye una regla general de pensamiento lgico (por oposicin a los
postulados).1
En lgica y matemticas, un axioma es una premisa que, por considerarse
evidente, se acepta sin demostracin, como punto de partida para demostrar
otras frmulas. Tradicionalmente los axiomas se eligen de las consideradas
afirmaciones evidentes, porque permiten deducir las dems frmulas.
En lgica un postulado es una proposicin no necesariamente evidente: una
frmula bien formada (planteada) de un lenguaje formal utilizada en una
deduccin para llegar a una conclusin
B) TEOREMA es
una
frmula
bien
formada
que
puede
ser demostrada dentro de un sistema formal, partiendo de axiomas u
otros teoremas. Demostrar teoremas es un asunto central en la lgica
matemtica. Los teoremas tambin pueden ser expresados enlenguaje
natural formalizado.
C) COROLARIO (del latn corollarium) es un trmino que se utiliza en
matemticas y en lgica para designar la evidencia de un teorema o de
una definicin ya demostrados, sin necesidad de invertir esfuerzo
adicional en su demostracin. En pocas palabras, es una consecuencia
tan evidente que no necesita demostracin
D) LEMA : es una frase que expresa motivacin, intencin, o ideal, o
describe la forma de conducta de una persona, de un grupo, de una
institucin, de un Estado, un pas, una familia, etctera. Un lema puede
expresarse en cualquier idioma, pero lo ms comn es utilizar el latn o
la lengua propia del lugar. A veces se utiliza como sinnimo de lema
la palabra italiana motto, adaptada incluso como

1.2. CONJUNTOS: En matemticas, un conjunto es una coleccin de

elementos considerada en s misma como un objeto. Los elementos de un
conjunto pueden ser cualquier cosa: personas, nmeros, colores, letras,
figuras, etc. Se dice que un elemento (o miembro) pertenece al conjunto si
est definido como incluido de algn modo dentro de l.
F
F
F
Teora de conjuntos

Hiptesis del continuo. La coleccin de todos los conjuntos de nmeros

naturales P(N) tiene la llamadapotencia del continuo: tantos elementos como
(por ejemplo) puntos en una recta. Su estudio es uno de los principales
problemas en la teora de conjuntos.
La teora de conjuntos es una rama de las matemticas que estudia las
propiedades de los conjuntos: colecciones abstractas de objetos, consideradas
como objetos en s mismas. Los conjuntos y sus operaciones ms elementales
son una herramienta bsica en la formulacin de cualquier teora matemtica. 1
Sin embargo, la teora de los conjuntos es lo suficientemente rica como para
construir
el
resto
de
objetos
y estructuras
de
inters
en
matemticas: nmeros, funciones, figuras geomtricas, ...; y junto con
la lgica permite estudiar los fundamentos de esta. En la actualidad se acepta
que el conjunto de axiomas de la teora de Zermelo-Fraenkel es suficiente para
desarrollar toda la matemtica.
Adems, la propia teora de conjuntos es objeto de estudio per se, no slo
como herramienta auxiliar, en particular las propiedades y relaciones de los
conjuntos infinitos. En esta disciplina es habitual que se presenten casos de

propiedadesindemostrables o contradictorias, como la hiptesis del continuo o

la existencia de un cardinal inaccesible. Por esta razn, sus razonamientos y
tcnicas se apoyan en gran medida en la lgica matemtica.
El desarrollo histrico de la teora de conjuntos se atribuye a Georg Cantor, que
comenz a investigar cuestiones conjuntistas puras del infinito en la segunda
mitad del siglo XIX, precedido por algunas ideas de Bernhard Bolzano e
influenciado por Richard Dedekind. El descubrimiento de las paradojas de la
teora cantoriana, de conjuntos, formalizada por Gottlob Frege, propici los
trabajos de Bertrand Russell, Ernst Zermelo, Abraham Fraenkel y otros a
principios delsiglo XX.
Teora bsica de conjuntos[editar]
Artculo principal: Conjunto
La teora de conjuntos ms elemental es una de las herramientas bsicas del
lenguaje matemtico. Dados unos elementos, unos objetos matemticos
como nmeros opolgonos por ejemplo, puede imaginarse una coleccin
determinada de estos objetos, un conjunto. Cada uno de estos elementos
pertenecen al conjunto, y esta nocin depertenencia es la relacin relativa a
conjuntos ms bsica. Los propios conjuntos pueden imaginarse a su vez como
elementos de otros conjuntos. La pertenencia de un elemento a a un
conjunto A se indica como a A.
Una relacin entre conjuntos derivada de la relacin de pertenencia es la
relacin de inclusin. Una subcoleccin de elementos B de un conjunto
dado A es un subconjunto deA, y se indica como B A.
Ejemplos.

Los conjuntos numricos usuales en matemticas son: el conjunto de

los nmeros naturales N, el de los nmeros enteros Z, el de los nmeros
racionales Q, el de losnmeros reales R y el de los nmeros complejos C.
Cada uno es subconjunto del siguiente:

El espacio tridimensional E3 es un conjunto de objetos elementales

denominados puntos p, p E3. Las rectas r y planos son conjuntos de
puntos a su vez, y en particular son subconjuntos de E3, r E3 y E3.
lgebra de conjuntos[editar]
Artculo principal: lgebra de conjuntos
Existen unas operaciones bsicas que permiten manipular los conjuntos y sus
elementos, similares a las operaciones aritmticas, constituyendo el lgebra de
conjuntos:

Unin. La unin de dos conjuntos A y B es el conjunto A B que contiene

cada elemento que est por lo menos en uno de ellos.

Interseccin. La interseccin de
dos
conjuntos A y B es
conjunto A B que contiene todos los elementos comunes de A y B.

Diferencia. La diferencia entre dos conjuntos A y B es el conjunto A \ B que

contiene todos los elementos de A que no pertenecen a B.

Complemento. El complemento de un conjunto A es el conjunto A que

el

contiene todos los elementos (respecto de algn conjunto referencial) que

no pertenecen a A.

Diferencia simtrica La diferencia simtrica de dos conjuntos A y B es el

conjunto A B con todos los elementos que pertenecen, o bien a A, o bien
a B, pero no a ambos a la vez.

Producto cartesiano. El producto cartesiano de dos conjuntos A y B es el

conjunto A B que contiene todos los pares ordenados (a, b) cuyo primer
elemento a pertenece a A y su segundo elemento b pertenece a B.

Teora axiomtica de conjuntos[editar]

La teora informal de conjuntos apela a la intuicin para determinar cmo se
comportan los conjuntos. Sin embargo, es sencillo plantear cuestiones acerca
de las propiedades de estos que llevan a contradiccin si se razona de esta
manera, como la famosa paradoja de Russell. Histricamente sta fue una de
las razones para el desarrollo de lasteoras axiomticas de conjuntos, siendo
otra el inters en determinar exactamente qu enunciados acerca de los
conjuntos necesitan que se asuma el polmico axioma de eleccin para ser
demostrados.
Las teoras axiomticas de conjuntos son colecciones precisas
de axiomas escogidos para poder derivar todas las propiedades de los
conjuntos con el suficiente rigor matemtico. Algunos ejemplos conocidos son:

La teora de conjuntos de Zermelo-Fraenkel

La teora de conjuntos de Neumann-Bernays-Gdel

La teora de conjuntos de Morse-Kelley

DIAGRAMA DE VEN EULER :

Los diagramas de Venn son esquemas usados en la teora de conjuntos,
tema de inters en matemtica, lgica de clases y razonamiento
diagramtico. Estos diagramas muestran colecciones (conjuntos) de cosas

(elementos) por medio de lneas cerradas. La lnea cerrada exterior abarca

a todos los elementos bajo consideracin, el conjunto universal U.
Introduccin[editar]
Con los diagramas de Venn es posible representar las relaciones de
interseccin, inclusin y disyuncin sin cambiar la posicin relativa de los
conjuntos
Interseccin[editar]
Dado que los conjuntos pueden tener elementos comunes, las regiones
encerradas por sus lneas lmite se superponen. El conjunto de los elementos
que pertenecen simultneamente a otros dos es la interseccin de ambos.1
A=
{1;
2;
3;
4;
6;
12}
B=
{1;
3;
5;
15}
U = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16}

A=
{x | x es
divisor
natural
de
B=
{x | x es
divisor
natural
de
U = {x | x es natural menor o igual que 16}

12}
15}

Inclusin[editar]
Si todos los elementos de un conjunto son parte de los elementos de otro, se
dice que el primero es un subconjunto del segundo o que est incluido en el
segundo.1 En los diagramas de Venn, todas las regiones de superposicin
posibles deben ser representadas. Y, cuando hay regiones que no contienen
elementos (regiones vacas), la situacin se indica anulndolas (con un color
de fondo distinto).2
A=
{1;
2;
3;
4;
6;
12}
B=
{1;
2;
3;
6}
U = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12}

A = {x | x es divisor natural de 12}

B = {x | x es divisor natural de 6}
U = {x | x es natural menor o igual que 12}

Disyuncin[editar]
Cuando los conjuntos no tienen elementos comunes, la regin de
superposicin queda vaca.
A=
{2;
4;
6;
B=
{1;
3;
5;
7;
U = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10}

8}
9}

A = {x | x es par y de una cifra}

B = {x | x es impar y de una cifra}
U = {x | x es natural menor o igual que 10}

A la izquierda de los diagramas, las definiciones de los conjuntos por

enumeracin y por comprensin.

Operaciones entre conjuntos

UNIN DE CONJUNTOS
La unin de los conjuntos A y B es el conjunto formado por todos los elementos
que pertenecen a A o a B o a ambos. Se denota: A U B. La unin de conjuntos
se define como:
A U B = {x / x EA o x E B}

Cuando no tienen elementos comunes

Cuando tienen algunos elementos comunes

Cuando todos los elementos del conjunto pertenecen a otro conjunto.

EJEMPLO:
. Dados los conjuntos: A = { 0, 1, 2, 3, 4, 5 }, B = { 0, 2, 4 } y C = { 5, 6, 8
}, efectuar y construir los diagramas respectivos:
a) A U C

b) B U C

c) A U B

A U C = { 0, 1, 2, 3, 4, 5, 6, 8 }

Representacin grfica de la unin de conjuntos A y C

B U C = { 0, 2, 4, 5, 6, 8 }

Representacin grfica de la unin de conjuntos B y C

A U B = { 0, 1, 2, 3, 4, 5 }

Representacin grfica de la unin de conjuntos A y B

INTERSECCIN DE CONJUNTOS
Se define la interseccin de dos conjuntos A y B al conjunto de elementos que
son comunes a A y B. Se denota por A nB, que se lee: A interseccin B. La
interseccin de A y B tambin se puede definir:
A nB = { x / x E A y x E B } y mediante un diagrama de Venn-Euler:

Cuando

tienen

algunos

elementos

comunes

Cuando no tienen elementos comunes

Cuando todos los elementos del conjunto pertenecen a otro conjunto

EJEMPLO:
Dados los conjuntos: A = { 0, 1, 2, 3, 4, 5 }, B = { 3, 5, 7 } y C = { 2, 4 }, efectuar
y construir los diagramas respectivos:

Representacin grfica de la interseccin de conjuntos A y C

Representacin grfica de la interseccin de conjuntos B y C

Representacin grfica de la interseccin de conjuntos A y B

1.3.
1.4.
1.5.
1.6.
1.7.

N
N
N
M
Los nmeros naturales. El conjunto N.

Nmeros naturales N
Los nmeros naturales son los enteros positivos. Se denota el conjunto de los
nmeros naturales por N; as que N={1,2,3,}
Ntense las relaciones siguientes entre los anteriores sistemas de nmeros:
NZQR
Los nmeros naturales son cerrados respecto a la adicin y a la multiplicacin
solamente. La diferencia y el cociente de dos nmeros naturales no es
necesariamente un nmero natural.
Los nmeros primos son los naturales p, excluido el 1, que solo son divisibles
por 1 y
por
el
mismo
nmero p.
He
aqu
los
primeros
primos: 2,3,5,7,11,13,17,19,

Entendemos por nmero la expresin de un valor, la cuantificacin de una

magnitud.
Los nmeros naturales expresan valores referentes a cosas enteras, no
partidas, los nmeros naturales van de uno en uno desde el 0, no admiten
la particin de las unidades, y solamente expresan valores positivos.
N={0,
1,
2,
3,
4,
5,
6,
...
...
...}
Pero Cmo expresar con nmeros la altura y la profundidad, las riquezas y

las deudas, las ganancias y las prdidas, la temperatura por encima o por
debajo del punto de congelacin del agua?
1.8.

CONJUNTOS DE NMEROS enteros:

Nmeros enteros Z
Los enteros son los nmeros reales ,3,2,1,0,1,2,3,
Se denotan por el smbolo Z y se pueden escribir como Z={,2,1,0,1,2,}

Una propiedad importante de los nmeros enteros es que son cerrados

respecto a las operaciones de adicin, multiplicacin y sustraccin, es decir, la
suma, la resta y la multiplicacin de dos nmeros enteros da otro nmero
entero. Ntese que el cociente de dos enteros, por ejemplo 3 y 7, no
necesariamente es un entero. As, la operacin divisin no es cerrada respecto
a los nmeros enteros.
Ejercicios de nmeros enteros:

1 Ordenar, en sentido creciente, representar grficamente, y

calcular los opuestos y valores absolutos de los siguientes
nmeros enteros:
8, 6, 5, 3, 2, 4, 4, 0, 7

2 Representar grficamente, y calcular los opuestos y valores

absolutos de los siguientes nmeros enteros:
4, 6, 2, 1, 5, 0, 9

3 Sacar factor comn en las expresiones:

1 3 2 + 3 (5) =

2 (2) 12 + (2) (6) =

3 8 5 + 8 = 8 (5 + 1) =
4 (3) (2) + (3) (5) =

4 Realizar las siguientes operaciones con nmeros enteros:

1 (3 8) + [5 (2)] =
2 5 [6 2 (1 8) 3 + 6] + 5 =
3 9 : [6 : ( 2)] =
4 [(2) 5 (3) 3 ] 2 =
5 (5 + 3 2 : 6 4 ) (4 : 2 3 + 6) : (7 8 : 2 2) 2 =
6 [(17 15) 3 + (7 12) 2 ] : [(6 7) (12 23)] =

5 Realizar las siguientes operaciones con nmeros enteros:

1 (7 2 + 4) (2 5) =
2 1 (5 3 + 2) [5 (6 3 + 1) 2]=
3 12 3 + 18 : (12 : 6 + 8) =

6 Calcula, si existe:
1 (9) 2 =
2 (1) 7 =
3 (3) 2 (3) =

4
5 (3) 3 =

7 Realizar las siguientes

nmeros enteros:
1 (2) 2 (2) 3 (2) 4 =
2 (8) (2) 2 (2) 0 (2) =
3 (2) 2 (2) 3 (2) 4 =

operaciones

con

potencias

de

4 2 2 2 3 2 4 =
5 22 : 23 =
6 2 -2 : 2 3 =
7 2 2 : 2 -3 =
8 2 -2 : 2 -3 =
9 [(2) 2 ]

(2) 3 (2) 4 =

10 [(2) 6 : (2) 3 ] 3 (2) (2) 4 =

8 Realizar las siguientes

nmeros enteros:
1 (3) 1 (3) 3 (3) 4 =

operaciones

con

potencias

de

2 (27) (3) (3) 2 (3) 0 =

3 (3) 2 (3) 3 (3) 4 =
4 3 2 3 4 3 4 =
5 52 : 53 =
6 5 -2 : 5 3 =
7 5 2 : 5 -3 =
8 5 -2 : 5 -3 =
9 (3) 1 [(3) 3 ] 2 (3) 4 =
10 [(3) 6 : (3) 3 ] 3 (3) 0 (3) 4 =

1.9. N
1.10. N
1.11. CONJUNTOS DE NMEROS REALES

Nmeros reales R
Una de las propiedades ms importantes de los nmeros reales es poderlos
representar por puntos de una lnea recta. Se elige un punto llamado origen,
para representar el 0, y otro punto, por comn a la derecha, para representar
el 1.
Resulta as de manera natural una correspondencia entre los puntos de la recta
y los nmeros reales, es decir, que cada punto de la recta representa a un
nico nmero real. Llamamos a esta recta la recta real. En la siguiente imagen
se puede ver un ejemplo de recta real:

Decimales y nmeros reales

Todo nmero real se puede representar como un "decimal con infinitas cifras".
La representacin decimal de un nmero racionalpq se encuentra "dividiendo el
numerador p por el denominador q". Si la divisin dicha se acaba, como en
3/8=0.375=0.375000
Si la divisin p por q no acaba, se sabe entonces que hay un tramo de cifras
que se repite continuamente; por ejemplo
2/11=0.181818
Ahora bien, lo que caracteriza a los nmeros reales respecto a los decimales,
es que en tanto que los nmeros racionales corresponden precisamente a los
decimales en que se repite continuamente un tramo de cifras, los nmeros
irracionales corresponden a los otros decimales de infinitas cifras.

Ejercicios con nmeros reales :

1 Cla sif ica

lo s

n me ro s:

2 Re p re sen t a e n la re ct a :

3 Re p re sen t a en la re ct a re a l lo s n me ro s qu e ve ri f ican la s
sigu ie n t e s re la cione s:
1 |x | < 1

2 |x | 1

3 |x | > 1

4 |x | 1

4 Ca lcu la lo s va lo re s d e la s sigu ie n tes p o te n cia s:

5 Ha lla la s suma s:

6 Re a liza la s o pe racio n e s:

7 O p e ra:

8 Ef e ct a :

9 Ca lcu la :

1 0 Ra cio na liza r

1.12. CONJUNTO DE NMEROS RACIONALES :

N
Nmeros racionales Q
Los nmeros racionales son los reales que pueden ser expresados como razn
de dos enteros. Se denota el conjunto de los nmeros racionales por Q, as que
Q={pq | p,qZ}
Obsrvese que todo entero es un nmero racional, ya que, por ejemplo, 5=51;
por tanto, Z es un subconjunto de Q.
Los nmeros racionales son cerrados no solo respecto de las operaciones de
adicin, multiplicacin y sustraccin, sino tambin de la divisin (excepto por
el 0).
EJERCICIOS NMEROS RACIONALES

1 . L o s 2 / 5 d e lo s ingre so s d e u n a com u n id a d de ve cin o s se

e m p le a n com bu st ib le , 1 / 8 se e mp lea en e le ct ricid a d , 1 / 12
e n la re co gid a de b a su ra s, 1 / 4 e n ma n te n im ie n t o d e l
e d if icio y e l re st o se em p lea en lim p ie za .

2 . Q u f ra cci n d e lo s in gre so s se e mp le a e n limp ie za ?

3 . De a cu e rd o con la f ra ccin d e in gre so s e mp le ad a , ord e na
la s p a rt ida s en ume ra d a s d e m en o r a m a yo r.
4 . 2 Re a liza r la s sigu ie n t e s o p e ra cio n e s:
5.
6.
7.
8 . 3 O pe ra :
9.

10.

4 Ef e ct a:

11.

12.

5 A licia d isp on e d e 3 0 0 p a ra com p ra s. E l jue ve s

ga st 2 / 5 d e e sa ca n t ida d y e l s b a d o lo s 3 / 4 de lo q u e le
qu e d a ba . Cu n to ga st cad a d a y cu n to le qu ed a a l f in a l

1.13. NCONJUNTO DE NMEROS IRRACIONALES I:

Nmeros Irracionales I
Los nmeros irracionales son los reales que no son racionales, es decir, los
nmeros reales que no pueden ser expresados por el cociente de dos nmeros
enteros. Obsrvese que el conjunto de nmeros irracionales es el complemento
del conjunto de nmeros racionales. As, pues, se tiene que
R=QI

Algn ejemplo de nmeros irracionales pueden ser 2,,53,etc.

EJERCICIOS CON Nmeros Irracionales I
T
T
T
T
T
Operaciones con Nmeros Irracionales
Las operaciones con nmeros irracionales
Antes de empezar a sumar, restar, multiplicar, y realizar cualquier tipo de las
operaciones con nmeros irracionales, debemos comprender como extraer,
e introducir factores dentro de los radicales que sern nuestro principal
elemento dentro de estas operaciones.
Extraccin de factores
Cuando tenemos radicales cuyos factores puedan ser reducidos o extrados de
la raz podemos hacerlo siempre y cuando el exponente de la potencia sea
igual o mayor que la raz. En primer lugar ofrecemos un nmero cuyo
exponente es mayor al de la raz, por ejemplo:
x7 3
Seguido de esto, debemos descomponer la potencia en varios factores, en este
caso la potencia es 7 y podemos descomponerla en tres partes no iguales,
tomando en cuenta que la multiplicacin de un nmero potenciado se debe
hacer sumando los potenciales existentes:
x 3 x 3 x 3

A continuacin podemos apelar a la propiedad distributiva de los nmeros

irracionales (y en general de los radicales):
x 3 3 x 3 3 x 3

Luego simplificamos las potencias con las races iguales, lo que da como
resultado:
xxx 3 =x 2 x 3
Cuando un nmero es lo suficientemente algo para poder descomponerlo por
sus factores primos, podemos resolverlo de la siguiente manera, con este
ejemplo:
72=3 2 2 3 =

Se simplifican el ndice de la raz y el potencial al cuadrado del primer factor.

32 3

Y luego extraemos el factor de la raz para simplificarla an ms.

3 22 =62
Introduccin de factores en nmeros irracionales
Existen dos formas de incluir un factor que est fuera de un radical para
simplificar el nmero y poder solucionar un problema matemtico. El primero se
hace al aplicar las propiedades de las potencias de los nmeros irracionales.
Que se logra al elevar el factor a la potencia de la raz a la vez que se sustrae
la raz del ndice correspondiente, logrando as que el nmero no se altere al
momento de realizar la operacin de los nmeros irracionales, aqu ofrecemos
un ejemplo:
x 2 x 3 =
Primero se introduce y se eleva a la potencia de la raz como a continuacin:
(x 2 ) 3 3 x 3 =

En este caso podemos aplicar la propiedad asociativa, quedando nuestra

ecuacin de la siguiente manera:
(x 2 ) 3 x 3

Luego aplicamos la operacin llamada potencia de potencia, que al multiplicar

los potenciales entre s, nos permite simplificar el parntesis as:
x 6 x 3

Finalmente realizamos la operacin del producto de ambas potencias,

sumando los potenciales de cada nmero, lo cual nos queda:
x7 3

Como segunda opcin tenemos una forma ms simple de resolver la

introduccin de factores en los nmeros irracionales, que es un mtodo que se
debe practicar para lograr a la perfeccin, en el cual simplemente se multiplica
el exponente de la potencia por el ndice de la raz, tomando en cuenta que si

la raz no tiene un nmero de ndica, automticamente asumimos que es 2, por

ejemplo:
x 3 x =x 6 x =x 7
Siga leyendo para saber todo sobre las operaciones con nmeros irracionales:
Suma
Para poder sumar o restar los nmeros irracionales, seguimos las reglas
bsicas de la matemtica para la suma y resta de radicales, es decir que solo
podemos sumar o restar los nmeros que tienen radicales semejantes. Estos
seran posibles nmeros que podemos sumar o restar:
73
34 3

63

Para poder sumar estos nmeros es necesario sumar con las leyes de la
algebra, en otras palabras, necesitamos sacar el factor comn, que en estos
casos es el radical.
73 +34 3 63 =

3 (7+34 6)=

74 3

En el caso de que los nmeros reales no tengan un radical semejante, el

nmero quedar como una suma, llamada binomio irracional, que se expresa
con los radicales dispares sumados:
83 +42

En ocasiones surgen radicales que parecen no tener semejanza, pero al

simplificar sus valores y extraer factores podemos llegar a una reduccin y a
una respuesta adecuada:
332 34 18 +52 =

324 2 34 23 2 +52 =

34 2 2 34 3 2 2 +52 =

342 34 3 2 +52 =

122 94 2 +52 =

484 2 94 2 +204 2 =594 2

Multiplicacin de nmeros irracionales
En la multiplicacin existen dos tipos de operacin, la primera tiene que ver con
los radicales que tienen un ndice semejante, y la otra con radicales con ndices
diferentes.
Para resolver races del mismo ndice, simplemente utilizamos la propiedad
asociativa, reuniendo los distintos factores bajo el mismo radical, siendo as:
x 2 4 x 4 =x 2 x 4 =x 3 4
Para resolver multiplicaciones de ndices diferentes, se debe hallar el ndice
comn, utilizando el mnimo comn mltiplo para as conseguir cifras
semejantes en cada ndice. Es decir, que se va multiplicando cada ndice por
un nmero determinado para obtener el mnimo comn ndice, pero para no
alterar el resultado, tambin se deber multiplicar por el mismo nmero los
potenciales de cada factor dentro del radical correspondiente, es decir que si
debo multiplicar el ndice de la raz por cuatro para obtener un mnimo comn
ndice tambin se debe multiplicar por cuatro cada potencia de los nmeros
dentro de la raz. Para finalmente utilizar la propiedad asociativa de los
nmeros irracionales. Por ejemplo:
x 3 4 x 2 3 =

x 33 43 x 25 34 =

x 9 x 10 12 =

x 19 12 =

xx 7 12
Racionalizacin de nmeros irracionales
La racionalizacin es una costumbre matemtica, segn la cual, en la
respuesta final de una operacin, no debe quedar un radical en el denominador
de una fraccin. Es decir, que en un nmero fraccionario, la mitad inferior debe
ser un nmero entero. La idea es reducir los radicales mediante la extraccin o
introduccin de factores y la multiplicacin igualitaria de otro radical tanto en el
denominador como en el numerador para anular los radicales del denominador.
Tenemos el siguiente caso:
1x 3 5 =
1x 3 5 x 2 5 x 2 5 =

x 2 5 x 3 x 2 5 =

x2 5x5 5 =

x2 5x

Se puede observar cmo se multiplica al denominador y al numerador por la

misma cifra, de tal manera que iguale el ndice de la raz ubicada en el
denominador para anularla y pasarla hacia el numerador sin cambiar el
resultado.
Esto pone fin a la discusin de las operaciones con nmeros irracionales

1.14. Intervalo (matemtica)

Un intervalo (del latn inter-vallum,
espacio,
pausa)1 es
un espacio
mtrico comprendido entre dos valores. Especficamente, un intervalo
real es un subconjunto conexo de larecta real , es decir, una parte de
recta entre dos valores dados. Es un conjunto medible y tiene la misma
cardinalidad de la recta real.2

Caracterizacin[editar]
Un intervalo real
Si e
que

es una parte de

pertenecen a con
, se tiene que

que verifica la siguiente propiedad:

, entonces para todo
pertenece a

tal

Notacin[editar]
Existen dos notaciones principales: en un caso se utilizan corchetes y
corchetes invertidos, en el otro corchetes y parntesis; ambas notaciones estn
descritas en el estndar internacional ISO 31-11.
Intervalo abierto[editar]

No incluye los extremos.

o bien
Notacin conjuntista o en trminos de desigualdades:

En la definicin de lmite ordinario de una funcin real se considera como

dominio un intervalo abierto que contiene al punto de acumulacin.
En la topologa usual de la recta (o ) se usa un intervalo abierto para
definir un conjunto abierto en dicha topologa. En la topologa usual de ,
un intervalo abierto es un conjunto abierto. El intervalo abierto <a, b> es
igual a su interior, su frontera es el conjunto {a, b} y su clausura es el
intervalo cerrado [a, b].3 No tiene puntos aislados, mientras que todos su
puntos son puntos de acumulacin del mismo intervalo, de suma
importancia en asuntos de lmites de funciones.4
Intervalo cerrado[editar]

S incluye los extremos.

Que se indica:

En notacin conjuntista:

Si incluye nicamente uno de los extremos.

Con la notacin

o bien

indicamos.

En notacin conjuntista:

Y con la notacin

o bien

En notacin conjuntista:

Los cuatro tipos de intervalos anteriores se llaman finitos; los expertos

asignan como su longitud |b- a|. Son muy tiles en el anlisis matemtico y
en los temas de topologa general, para el estudios de diferentes conceptos
como clausura, interior, frontera, conexidad, etc.5 Se usan en definicin de
funciones como la funcin mximo entero, o la funcin techo o funcin piso
en matemticas discretas y para la solucin de ecuaciones que conllevan
valor abosoluto, la funcin signo, etc.6
Los intervalos finitos tienen un centro de simetra que es (a + b)/2,
llamado punto medio, donde los extremos son a y b con a < b. En el caso
a=b, no existe punto medio y el intervalo abierto es .7

Intervalo infinito[editar]
Incluye un extremo e infinito por la derecha.

Con la notacin

En notacin conjuntista:

indicamos.

Sin incluir el extremo:

Y con la notacin

Incluye un extremo e infinito por la izquierda.

Con la notacin

indicamos.

En notacin conjuntista:

Sin incluir el extremo:

Y con la notacin

En notacin conjuntista:

Para todo valor real:

Y con la notacin

En notacin conjuntista:

Familia de intervalos

Operaciones con intervalos[editar]

En notacin conjuntista: supongamos el conjunto A:

Esto se lee: A son todos los x reales tales que x es menor que cuatro.
Y el conjunto B:

El conjunto B abarca todos los x, reales, mayores que nueve.

El conjunto unin de A y B sera:

O tambin se puede anotar:

La unin de dos o ms conjuntos es tomar todos los puntos

pertenecientes
a
cada
conjunto.

El conjunto interseccin de A y B no existe:

porque A y B no tienen puntos en comn.

Definido el conjunto C:

Es decir, que el conjunto C toma valores entre -3 y 15,

siempre
siendo x un
nmero
real.

El conjunto interseccin de A y C es:

El conjunto interseccin es aquel que toma los

valores en comn entre todos los conjuntos
incluidos.

Entorno simtrico[editar]
Artculo principal: Entorno (matemtica)
Un entorno simtrico o entorno de centro a y radio r se representa:

Con la notacin

indicamos.

Entorno reducido[editar]
Un entorno reducido de centro a y radio r se representa:

Con la notacin

indicamos.

Un entorno reducido de un punto p es un entorno de p, menos {p}. Por

ejemplo, el intervalo (1, 1) = {y: 1 < y < 1} es un entorno de p= 0 en

la recta real, entonces el conjunto (1, 0) (0, 1) = (1, 1) {0} es un

entorno reducido de 0

EJERCICIOS CON INTERVALOS

El intervalo (2, 8) est formado por ...

todos los nmeros del 2 al 8 ambos inclusive.

todos los nmeros del 2 al 8, sin incluir ni el 2 ni el 8.

los nmeros 2 y 8.
2El intervalo [3, 1) est formado por ...

todos los nmeros comprendidos entre 3 y 1 incluyendo el 3 pero

no el 1.

todos los nmeros comprendidos entre 3 y 1 incluyendo el 1 pero

no el 3.

todos los nmeros comprendidos entre 3 y 1 no incluido s por no

ser cerrado el intervalo.
3Escribir (2, 1) es equivalente a escribir ...

4Escribir

es equivalente a ...

(3, 7)

[3, 7)

(3, 7]
5La

expresin

indica

todos

los

nmeros

contenidos entre ...

3 y 5 incluyendo el 5 pero no el 3

3 y 5 incluyendo el 3 pero no el 5

3 y 5 ambos nmeros inclusive

6El intervalo [2, 5) se corresponde a la representacin grfica ...

7La representacin grfica

indica ...

cualquier nmero contenido entre 3 y 7 pero sin incluirlos.

cualquier nmero contenido entre 3 y 7 ambos inclusive.

cualquier nmero menor que 3 y mayor que 7.

8La representacin grfica

indica ...

cualquier nmero menor que 3 y mayor que 2.

cualquier nmero menor que 3 y mayor o igual a 2.

cualquier nmero mayor que 3 y menor o igual a 2.

9La

representacin

corresponde con la expresin ...

grfica

se

10La

representacin

grfica

se

corresponde con ...

(4, 12)
[4, 12)
(4, 12]
1.15.
1.16.
1.17.
1.18.
n

N
N
N
VALOR ABSOLUTO :

En matemtica, el valor absoluto o mdulo1 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.
El
valor
absoluto
est
relacionado
con
las
nociones
de magnitud, distancia y norma en diferentes contextos matemticos y fsicos.
El concepto de valor absoluto de un nmero real puede generalizarse a
muchos otros objetos matemticos, como son los cuaterniones, anillos
ordenados, cuerpos o espacios vectoriales.

Valor absoluto de un nmero real[editar]

Formalmente, el valor absoluto o mdulo de todo nmero real
por:2

est definido

Por definicin, el valor absoluto de

nunca negativo.

siempre ser mayor o igual que cero y

Desde un punto de vista geomtrico, el valor absoluto de un nmero

real es siempre positivo o cero, pero nunca negativo. En general, el valor
absoluto de la diferencia de dos nmeros reales es la distancia entre ellos.
De hecho, el concepto de funcin distancia o mtrica en matemticas se
puede ver como una generalizacin del valor absoluto de la diferencia, a
la distancia a lo largo de la recta numrica real.
La funcin valor absoluto una funcin continua definida por trozos.
Propiedades fundamentales[editar]
No negatividad
Definicin positiva
Propiedad multiplicativa
Desigualdad
triangular (Vase
tambin Propiedad aditiva)
Otras propiedades[editar]
Simetra
Identidad de indiscernibles
Desigualdad triangular
(equivalente a la propiedad aditiva)
Preservacin
de
la
divisin (equivalente a la propiedad
multiplicativa)
Otras dos tiles inecuaciones son:

Estas ltimas son de gran utilidad

de inecuaciones, como por ejemplo:

para

la

resolucin

El conjunto de los reales con la norma definda por el valor

absoluto

es un espacio de Banach.[cita requerida]

Valor absoluto de un nmero complejo

Como los nmeros complejos no conforman un conjunto ordenado en el
sentido de los reales, la generalizacin del concepto no es directa, sino que
requiere de la siguiente identidad, que proporciona una definicin alternativa y
equivalente para el valor absoluto:

De esta manera, dado cualquier nmero complejo de la forma

con x e y nmeros reales,

definido formalmente por:

el valor

absoluto o mdulo de z est

Como los nmeros complejos son una generalizacin de los

nmeros reales, es lgico que podamos representar a estos ltimos
tambin de esta forma:

De modo similar a la interpretacin geomtrica del valor absoluto

para los nmeros reales, se desprende del Teorema de
Pitgoras que el valor absoluto de un nmero complejo
corresponde a la distancia en el plano complejo de ese nmero
hasta el origen, y ms en general, que el valor absoluto de la
diferencia de dos nmeros complejos es igual a la distancia entre
ellos.
Propiedades[editar]
El valor absoluto de los complejos comparte todas las
propiedades vistas anteriormente para los nmeros reales.
Adems, si

es el conjugado de z, entonces se verifica que:

Esta ltima frmula es la versin compleja de la primera identidad en los

reales que mencionamos en esta seccin.
Como los nmeros reales positivos forman un subgrupo de los nmeros
complejos bajo el operador de multiplicacin, podemos pensar en el
valor absoluto como unendomorfismo del grupo multiplicativo de los
nmeros complejos.
Programacin del valor absoluto[editar]
En programacin, la funcin matemtica utilizada comnmente para
calcular el valor absoluto es abs() . Esta se utiliza en los lenguajes de
programacin Fortran, Matlab yGNU Octave (los cuales la soportan para
nmeros enteros, reales y complejos), y adems en el Lenguaje C,
donde
tambin
son
vlidas
las
funciones labs() , llabs() , fabs() , fabsf() y fabsl() .
La codificacin de la funcin valor absoluto
para valores enteros es sencilla:
int abs (int i)
{
if (i < 0)
return -i;
else
return i;
}
Sin embargo, al tratar con puntos flotantes la codificacin se complica, pues se
debe lidiar con la infinitud y valores NaN.[cita requerida]
Con el lenguaje ensamblador es posible calcular el valor absoluto de un
nmero utilizando slo tres instrucciones. Por ejemplo, para un registro de
32 bits en una arquitectura x86, con la sintaxis de Intel:
cdq
xor eax, edx
sub eax, edx
cdq extiende el bit de signo de eax en edx . Si eax es no-negativa,
entonces edx se convierte en cero, y las dos ltimas instrucciones no tienen
efecto, dejando eax sin cambios. Si eax es negativa, entonces edx se
convierte en 0xFFFFFFFF , o -1. Las siguientes dos instrucciones se convierten

en una inversin complemento a dos, dejando el valor absoluto del valor

negativo en eax
EJEMPLO DE VALOR ABSOLUTO:
La definicin del valor absoluto de cualquier nmero real nos dice que es el
mismo nmero cuando ste sea positivo o que tomemos el inverso del
nmero en caso de que sea negativo o que es cero si ste es cero. En
pocas palabras, el valor absoluto siempre es positivo; las disyunciones que
establece la definicin las simbolizamos con el corchete = {
5
X
3

-1
-

es

igual
o

es

es

igual

igual
a

a
3

El valor absoluto de un nmero real x, es x si el nmero es positivo o es X si el nmero es negativo o es O si el nmero es el O.

EJEMPLOS

DE

VALOR

ABSOLUTO:

a)
(3)
=
3,
porque
3
b) (-3 )= - (-3) = 3, porque -3 < O tomamos
c)
Si
(
x
)
=
3
entonces
x
=
3
e)
(x-1)=5
por
lo
tanto
x-1=5

x-1
=5
por
lo
tanto
x-1=-5
por
lo
tanto

>
O
su inverso
x=
-3
x-1=
-5
x=6
x=-4

URL
del
artculo:
http://www.ejemplode.com/5-matematicas/397ejemplo_de_valor_absoluto.html
Fuente: ejemplos de Valor absoluto
1.19. RELACIONES:
N
Relacin matemtica
Una relacin , de los
del producto cartesiano

conjuntos

es

un

subconjunto

Una relacin binaria es una relacin entre dos conjuntos.

El concepto de relacin implica la idea de enumeracin, de algunos de los
elementos, de los conjuntos que forman tuplas.

Un caso particular es cuando todos los conjuntos de la relacin son

iguales:
en
este
caso
se
representa
como
, pudindose decir que la
relacin pertenece a A a la n.

Tipos de relaciones[editar]
En las relaciones se diferencian los tipos segn el nmero de conjuntos en el
producto cartesiano, que es el nmero de trminos de la relacin:
Relacin unaria: un solo conjunto
Relacin binaria: con dos conjuntos
Relacin

ternaria:

con

tres

cuaternaria:

con

cuatro

conjuntos
Relacin
conjuntos
Relacin

n-aria:

caso

general

con n conjuntos
Ejercicios con relaciones matematicas
T
T
T
T
T
T
T
1.20. RELACIN BINARIA:
n
Relacin binaria
En matemticas, una relacin binaria es una relacin matemtica R entre
los elementos de dos conjuntos A y B. Una relacin de este tipo se puede
representar mediantepares ordenados,

:1

Las proposiciones siguientes son correctas para representar una relacin

binaria :

Tambin puede expresarse:

en notacin polaca.
Ejemplo[editar]

Dado el conjunto

de los nmeros reales, definimos la relacin binaria P

(x,y)

los puntos del

de

cuadrtica

plano,

segn

la funcin

Partiendo del conjunto A de los automviles de una localidad y P de las

personas, podemos definir la relacin binaria C Conduce, formada por
cada automvil a, y quien lo conduce p:

Clasificacin[editar]

La importancia en matemticas de las relaciones binarias, se debe a

que una gran parte de las asociaciones entre elementos de conjuntos,
tanto numricos como no numricos, se hace de dos en dos elementos,
tanto si son elementos de un nico conjunto o de dos conjuntos
distintos, en el esquema se puede ver algunas estructuras algebraicas o
subtipos de relacin binaria. Emplearemos este esquema para ver estos
casos.

En primer lugar diferenciamos las relaciones binarias homogneas de

las heterogneas, en las primeras la relacin binaria se establece entre
los elementos de un nico conjunto, por lo que en realidad lo que
determina es su estructura interna, mientras que en las segundas se
establecen relaciones entre dos conjuntos distintos, lo que da lugar a
operaciones o funciones matemticas de clculo, una relacin
homognea puede ser tratada como heterognea con los mismos
subtipos, pero no al contrario.
Relacin homognea[editar]
Una relacin binaria entre dos conjuntos se llama homognea si estos dos
conjuntos son iguales:

Dado que A y B son el mismo conjunto, se suele representar:

O bien:

Relacin heterognea[editar]
Una relacin binaria entre dos conjuntos A y B, se llama
heterognea si A es distinto de B:2

Conceptos previos[editar]
Antes de afrontar el estudio de las relaciones binarias, veamos
algunos conceptos que es necesario conocer:
Par ordenado[editar]
Artculo principal: Par ordenado
Las partes de un par ordenado son:
Primer conjunto
Primer componente
Segundo conjunto
Segundo componente
Del siguiente par ordenado (a, b) podemos decir que:
a es el primer componente del primer conjunto y;
b como el segundo componente del segundo conjunto.

Matemticamente esto se expresa:

y se lee: El producto de A con B, es el conjunto

de los pares ordenados (x,y) tales
que x pertenece a A e y pertenece a B.
Producto cartesiano[editar]
A
r
t

c
u
l
o
principal: Producto cartesiano
Definimos los conjuntos:

Obtenemos el producto cartesiano de A

por B, colocando en una tabla los
elementos del conjunto A en el eje
horizontal y los de B en vertical, en la
interseccin colocamos los pares
ordenados
correspondientes,
percatarse que en el par ordenado, en
primer lugar se coloca el elemento de
A, del eje horizontal y en segundo lugar
el de B, del eje vertical.
La enumeracin de los elementos, del
conjunto de pares ordenados, seria el
siguiente:

Relacin binaria, subconjunto del

producto cartesiano[editar]
Visto del producto cartesiano de A
por B, podemos definir una relacin

binaria, por ejemplo: mayor que,

que se puede expresar:

que por extensin resulta:

Donde los pares ordenados que

definen la relacin binaria son un
subconjunto del producto cartesiano
de los conjuntos.3

Esto ltimo permite estimar el

nmero de relaciones binarias entre
dos conjuntos si:

enotonces el nmero de relaciones

binarias posibles entre los conjuntos
A y B viene dado por:

Donde si alguno de los dos

conjuntos es infinito el nmero
anterior debe entenderse como
un nmero transfinito.
Relacin binaria homognea[editar]
Como ya se defini antes, una
relacin binaria homognea es la
que se da entre los elementos de un
nico
conjunto,
llamando A al
conjunto, tendramos:

Si la Relacin binaria es entre

los elementos de un nico
conjunto, dado que los distintos
tipos de relacin que se pueden
determinar entre sus elementos
tomados de dos en dos,
determina la estructura del

conjunto, lo veremos con un

ejemplo:

Dado el conjunto A:

y la relacin entre los elementos

de este conjunto, representada
en la figura, se puede ver que
solo hay un conjunto, el A y que
la relacin entre los elementos
es interior al conjunto, en este
caso representado por las
flechas.

En este caso podemos decir,

como enumeracin de las
relaciones
entre
los
elementos del conjunto A.

o como conjunto de
pares ordenados:

Tambin
podemos
representar una
relacin
binaria
homognea como
una corresponden
cia de A sobre A:

Tomando
como conjunto
inicial
al
conjunto A y
como
final
tambin
el
conjunto A,
nos
permite
asociar
un
elemento
inicial a otro
final dentro de
un
mismo
conjunto,
determinando
una operaci
n
matemtica o
funcin
de
clculo y no
una estructura
interna,
teniendo
siempre
en
cuenta, que si
bien
el
conjunto inicial
y final son un
mismo
conjunto,
la
relacin
es
unidireccional,

y
si
el
elemento a est
relacionado
con
el b no
implica,
necesariament
e, que el b lo
este con el a.
En este caso
el anlisis de
la
relacin
binaria
se
hace
segn
los
distintos
tipos
de
correspondenc
ia
con
el
mismo
significado
que en las
relaciones
heterogneas
Representaci
n
de
una
relacin
binaria como
subconjunto
del producto
cartesiano:
Dado
el
producto
de
pares
ordenados (x,
y),
donde x, y per
tenecen a A,
la
relacin
binaria ser el
subconjunto

de
qu
e
contiene
todos
los
pares
de
elementos

(
( (
(b
a,
c, d,
,
d
d d
d)
)
) )

( ( (c (d
a, b, , ,
c) c) c) c)

(
(c (
(b
a,
, d,
,
b
b b
b)
)
) )

(
(c
(
(d
a,
,
b,
,
a
a
a)
a)
)
)

A
a b c d
A

relacionados.
Si
el
producto
es:

el
conjunto R de
la
relacin
binaria
se
representa:

Ntese
que en el
eje
horizontal
se
representa
el conjunto
inicial, y en
el
eje
vertical el
conjunto
final.
Propiedad
es de las
relaciones
binarias
homogn
ea[editar]
Una
relacin
binaria
puede
tener
ciertas
propiedade
s,
segn
los pares
ordenados
que
formen
parte
de
dicha
relacin o
no formen

parte
de
ella,
veamos
algunas:
Propiedad
reflexiva[e
ditar]
Artculo
principal: R
elacin
reflexiva
Una
relacin
tiene
la
propiedad
reflexiva, si
todo
elemento
est
relacionad
o consigo
mismo, si
no todos
los
elementos
del
conjunto
estn
relacionad
os consigo
mismo se
dice que la
relacin no
es
reflexiva.

Para
todo
elemen

to a qu
e
pertene
zca al
conjunt
o A, el
par
ordena
do (a,a
) perte
nece a
la
relaci
n
binaria
R.
Tngas
e
en
cuenta
que
debe
cumplir
se para
todos
los
elemen
tos del
conjunt
o
sin
excepci
n, si
esta
propied
ad solo
se da
en
alguno
s casos
la
relaci
n no es

reflexiv
a:

No
exis
te
nin
gn
ele
me
nto
ae
nA
,
par
a el
que
el
par
ord
ena
do (
a,a)
no
pert
ene
zca
a la
rela
ci
nR
.
Pue
de
ver
se
que
est
as
dos

afir
ma
cio
nes
son
igu
ale
s.
Pro
pie
dad
irre
flex
iva[
edit
ar]
Art
cul
o
prin
cip
al:
Rel
aci
n
irref
lexi
va
Un
a
rela
ci
n
bin
aria
tien
e la
pro
pie
dad

irref
lexi
va,
tam
bi
n
lla
ma
da:
anti
rrefl
exiv
a o
anti
rrefl
eja,
si
nin
gn
ele
me
nto
del
con
junt
o
est

rela
cio
nad
o
con
sig
o
mis
mo:

Q
u

e
t
a
m
b
i

n
p
u
e
d
e
e
x
p
r
e
s
a
r
s
e

N
o
e
x
i
s
t
e
n
i
n

n
e
l
e
m
e
n
t
o
a
e
n
e
l
c
o
n
j
u
n
t
o
A
q
u
e
c
u
m
p
l

a
q
u
e
:
(
a
,
a
)
p
e
r
t
e
n
e
z
c
a
a
R
.

P
r
o
p
i
e
d
a
d
s
i
m

t
r
i
c
a
[
e
d
i
t
a
r
]
A
r
t

c
u
l
o
p
r
i
n
c

i
p
a
l
:
R
e
l
a
c
i

n
s
i
m

t
r
i
c
a

U
n
a
r
e
l
a
c
i

n
b
i
n

a
r
i
a
t
i
e
n
e
l
a
p
r
o
p
i
e
d
a
d
s
i
m

t
r
i
c
a
,
s
i
s
e

c
u
m
p
l
e
q
u
e
u
n
p
a
r
o
r
d
e
n
a
d
o
(
a
,
b
)
p
e
r
t
e
n
e
c

e
a
l
a
r
e
l
a
c
i

n
e
n
t
o
n
c
e
s
e
l
p
a
r
(
b
,
a
)
t
a
m

b
i

n
p
e
r
t
e
n
e
c
e
a
e
s
a
r
e
l
a
c
i

n
:

P
a
r
a
t
o
d
o

p
a
r
o
r
d
e
n
a
d
o
(
a
,
b
)
q
u
e
p
e
r
t
e
n
e
z
c
a
a
R
,
i

m
p
l
i
c
a
q
u
e
e
l
p
a
r
(
b
,
a
)
t
a
m
b
i

n
p
e
r
t
e
n
e
c
e

a
R
,
t

n
g
a
s
e
e
n
c
u
e
n
t
a
q
u
e
s
i
e
l
p
a
r
(
a
,

b
)
n
o
p
e
r
t
e
n
e
c
e
a
l
a
r
e
l
a
c
i

n
e
l
p
a
r
(
b
,
a

)
t
a
m
p
o
c
o
t
i
e
n
e
q
u
e
p
e
r
t
e
n
e
c
e
r
a
e
s
a
r
e
l
a
c

n
:

N
o
e
x
i
s
t
e
n
i
n
g

n
p
a
r
o
r
d
e
n
a
d
o
(
a
,
b
)

q
u
e
p
e
r
t
e
n
e
z
c
a
a
R
y
q
u
e
e
l
p
a
r
(
b
,
a
)
n
o

p
e
r
t
e
n
e
z
c
a
a
R
.

P
r
o
p
i
e
d
a
d
a
n
t
i
s
i
m

t
r
i
c
a
[
e
d
i
t
a
r
]
A
r
t

c
u
l
o
p

r
i
n
c
i
p
a
l
:
R
e
l
a
c
i

n
a
n
t
i
s
i
m

t
r
i
c
a

U
n
a
r
e
l
a

c
i

n
b
i
n
a
r
i
a
s
e
d
i
c
e
q
u
e
t
i
e
n
e
l
a
p
r
o
p
i
e
d

a
d
a
n
t
i
s
i
m

t
r
i
c
a
s
i
l
o
s
p
a
r
e
s
o
r
d
e
n
a
d
o
(
a

,
b
)
y
(
b
,
a
)
p
e
r
t
e
n
e
c
e
n
a
l
a
r
e
l
a
c
i

n
e
n
t
o

n
c
e
s
a
=
b
:

D
i
c
h
o
d
e
o
t
r
a
m
a
n
e
r
a
,
n
o
e
x
i

s
t
e
n
l
o
s
e
l
e
m
e
n
t
o
s
a
,
b
d
i
s
t
i
n
t
o
s
,
y
q
u
e

a
e
s
t
e
r
e
l
a
c
i
o
n
a
d
o
c
o
n
b
y
b
e
s
t
e
r
e
l
a
c
i
o

n
a
d
o
c
o
n
a

el resto de dividir 5 entre 2 es 1

el resto de dividir 6 entre 3 es 0

el resto de dividir 7 entre 3 es 1

Ejemplo RELACIN BINARIA.

Dado el conjunto de los nmeros reales, definimos la relacin binaria P

(x,y) de los puntos del plano, segn la funcin cuadrtica
:

Partiendo del conjunto A de los automviles de una localidad y P de las

personas, podemos definir la relacin binaria C Conduce, formada por
cada automvil a, y quien lo conduce p:

CAPITULO II
FUNCIONES
2.1.
FUNCIONES
:
En matemticas,
se
dice
que
una magnitud o cantidad es funcin de otra si el valor de la primera depende
exclusivamente del valor de la segunda. Por ejemplo el rea A de un crculo es
funcin de su radio r: el valor del rea es proporcional al cuadradodel
radio, A = r2. Del mismo modo, la duracin T de un viaje de tren entre dos
ciudades separadas por una distancia d de 150 km depende de la velocidad v a
la que este se desplace: la duracin es inversamente proporcional a la
velocidad, d / v. A la primera magnitud (el rea, la duracin) se la
denomina variable dependiente, y la cantidad de la que depende (el radio, la
velocidad) es la variable independiente.
En anlisis
matemtico,
el
concepto
general
de funcin, aplicacin o mapeo se refiere a una regla que asigna a cada
elemento de un primer conjunto un nico elemento de un segundo conjunto

(correspondencia matemtica). Por ejemplo, cadanmero entero posee un

nico cuadrado, que resulta ser un nmero natural (incluyendo el cero):
... 2 +4, 1 +1, 0 0,
+1 +1, +2 +4, +3 +9, ...
Esta asignacin constituye una funcin entre el conjunto de los nmeros
enteros Z y el conjunto de los nmeros naturales N. Aunque las funciones que
manipulan nmeros son las ms conocidas, no son el nico ejemplo: puede
imaginarse una funcin que a cada palabra del espaol le asigne
su letra inicial:
..., Estacin E, Museo M, Arroyo A, Rosa R, Avin A, ...
Esta es una funcin entre el conjunto de las palabras del espaol y el conjunto
de las letras del alfabeto espaol.
La manera habitual de denotar una funcin f es:
f: A B
a f(a),
donde A es el dominio de la funcin f, su primer conjunto o conjunto de
partida; y B es el codominio de f, su segundo conjunto o conjunto de
llegada. Por f(a) se denota la regla o algoritmo para obtener
la imagen de un cierto objeto arbitrario a del dominio A, es decir, el
(nico) objeto de B que le corresponde. En ocasiones esta expresin es
suficiente para especificar la funcin por completo, infiriendo el dominio
y codominio por el contexto. En el ejemplo anterior, las funciones
cuadrado e inicial, llmeseles f y g, se denotaran entonces como:
f: Z N
k k2, o sencillamente f(k) = k2;
g: V A
p Inicial de p;
si se conviene V = {Palabras del espaol} y A = {Alfabeto
espaol}.
Una funcin puede representarse de diversas formas:
mediante el citado algoritmo o ecuaciones para obtener la
imagen de cada elemento, mediante una tabla de valores
que empareje cada valor de la variable independiente con

su imagen como las mostradas arriba, o como

una grfica que d una imagen de la funcin.
ntroduccin[editar]

Representacin grfica de la velocidad de un cuerpo acelerado a 0,66 m/s2.

Una funcin es un objeto matemtico que se utiliza para expresar la
dependencia entre dos magnitudes, y puede presentarse a travs de varios
aspectos complementarios. Un ejemplo habitual de funcin numrica es la
relacin entre la posicin y el tiempoen el movimiento de un cuerpo.
Un mvil que se desplaza con una aceleracin de 0,66 m/s2 recorre una
distancia d que est en funcin del tiempo transcurridot. Se dice que d es la
variable dependiente de t, la variable independiente. Estas magnitudes,
calculadas a priori o medidas en un experimento, pueden consignarse de varias
maneras. (Se supone que el cuerpo parte en un instante en el que se conviene
que el tiempo es t = 0 s.)
Los valores de las variables pueden recogerse en una tabla, anotando la
distancia recorrida d en un cierto instante t, para varios momentos distintos:
Tiempo t (s) Distancia d (m)

0,0

0,0

0,5

0,1

1,0

0,3

1,5

0,7

2,0

1,3

2,5

2,0

La grfica en la imagen es una manera equivalente de presentar la misma

informacin. Cada punto de la curva roja representa una pareja de datos
tiempo-distancia,
utilizando
la
correspondencia
entre
puntos
y coordenadas del plano cartesiano. Tambin puede utilizarse un regla
o algoritmo que dicte como se ha de calcular d a partir de t. En este caso, la
distancia que recorre un cuerpo con esta aceleracin est dada por la
expresin:
d = 0,33 t2,
donde las magnitudes se expresan unidades del SI. De estos tres modos se
refleja que existe una dependencia entre ambas magnitudes.
Una funcin tambin puede reflejar la relacin de una variable dependiente
con varias variables independientes. Si el cuerpo del ejemplo se mueve con
una aceleracin constante pero indeterminada a, la distancia recorrida es
una funcin entonces de a y t; en particular, d = at2/2. Las funciones
tambin se utilizan para expresar la dependencia entre otros objetos
cualesquiera, no solo los nmeros. Por ejemplo, existe una funcin que a
cada polgono le asigna su nmero de lados; o una funcin que a cada da
de la semana le asigna el siguiente:
Lunes Martes, Martes Mircoles,..., Domingo Lunes

Definicin[editar]
La definicin general de funcin hace referencia a la dependencia entre los
elementos de dos conjuntos dados.
Dados dos conjuntos A y B, una funcin (tambin aplicacin o mapeo) entre
ellos es una asociacin6 f que a cada elemento de A le asigna
un nico elemento de B.

Se dice entonces que A es el dominio (tambin conjunto de partida o conjunto

inicial) de f y que B es su codominio(tambin conjunto de llegada o conjunto
final).
Un objeto o valor genrico a en el dominio A se denomina la variable
independiente; y un objeto genrico b del dominio B es la variable dependiente.
Tambin se les llama valores de entrada y de salida, respectivamente. Esta
definicin es precisa, aunque en matemticas se utiliza una definicin
formal ms rigurosa, que construye las funciones como un objeto concreto.
Ejemplos

Todos los nmeros reales tienen un cubo, por lo que existe la funcin
cubo que a cada nmero en el dominio R le asigna su cubo en el
codominio R.

Exceptuando al 0, todos los nmeros reales tienen un nico inverso. Existe

entonces la funcin inverso cuyo dominio son los nmeros reales no
nulos R \ {0}, y con codominio R.

Cada mamfero conocido

se
clasifica
en
un gnero,
como Homo, Sus o Loxodonta. Existe por tanto una funcin clasificacin
en gneros que asigna a cada mamfero de la coleccin M = {mamferos
conocidos} su gnero. El codominio de clasificacin en gneros es la
coleccin G = {gneros de Mammalia}.

Existe una funcin rea que a cada tringulo del plano (en la
coleccin T de todos ellos, su dominio), le asigna su rea, un nmero real,
luego su codominio es R.

En unas elecciones en las que cada votante pueda emitir un nico voto,
existe una funcin voto que asigna a cada elector el partido que elija. En
la imagen se muestra un conjunto de electores E y un conjunto de
partidos P, y una funcin entre ellos.
2.3. Funciones con mltiples variables[editar]
Existen muchos ejemplos de funciones que necesitan dos valores para ser
calculadas, como la funcin tiempo de viaje T, que viene dada por el
cociente entre la distanciad y la velocidad media v: cada pareja de nmeros
reales positivos (una distancia y una velocidad) tiene asociada un nmero real
positivo (el tiempo de viaje). Por tanto, una funcin puede tener dos (o ms)
variables independientes.
La nocin de funcin de mltiples variables independientes no necesita de una
definicin especfica separada de la de funcin ordinaria. La generalidad de
la definicin anterior, en la que se contempla que el dominio sea un conjunto

de objetos matemticos arbitrarios, permite omitir la especificacin de dos (o

ms) conjuntos de variables independientes, A1 y A2, por ejemplo. En lugar de
ello, el dominio se toma como el conjunto de las parejas (a1, a2), con primera
componente en A1 y segunda componente enA2. Este conjunto se denomina
el producto cartesiano de A1 y A2, y se denota por A1 A2.
De este modo las dos variables independientes quedan reunidas en un solo
objeto. Por ejemplo, en el caso de la funcin T, su dominio es el
conjunto R+ R+, el conjunto de parejas de nmeros reales positivos. En el
caso de ms de dos variables, la definicin es la misma, usando un conjunto
ordenado de mltiples objetos, (a1,..., an), una n-tupla. Tambin el caso de
mltiples variables dependientes se contempla de esta manera. Por ejemplo,
una funcin divisin puede tomar dos nmeros naturales como valores de
entrada (dividendo y divisor) y arrojar dos nmeros naturales como valores de
salida (cociente y resto). Se dice entonces que esta funcin tiene como dominio
y codominio el conjunto N N.
Notacin. Nomenclatura[editar]
La notacin habitual
codominio B es:

para

presentar

una

funcin f con

dominio A y

Tambin se dice que f es una funcin de A a B o entre A y B. El dominio

de una funcin f se denota tambin por dom(f), D(f), Df, etc. Por f(a) se resume
la operacin o regla que permite obtener el elemento de B asociado a un
cierto a A, denominado la imagen de a.6
Ejemplos

La funcin cubo puede denotarse ahora como f: R R, con f(x) = x3 para

cada nmero real x.

La funcin inverso es g: R \ {0} R, con g(x) = 1/x para cada x real y no

nulo.

La funcin clasificacin en gneros puede escribirse como : M G,

donde (m) = Gnero de m, para cada mamfero conocido m.

La funcin rea se puede denotar como A: T R, y entonces A(t) = rea

de t = B H/2, donde t es un tringulo del plano, B su base, y H su altura.

La funcin voto se puede escribir como v: E P, donde v(a) = Partido

que a vot, para cada votante a.

La notacin utilizada puede ser un poco ms laxa, como por ejemplo la

funcin f(n) = n. En dicha expresin no se especifica que conjuntos se toman

como dominio y codominio. En general, estos vendrn dados por el contexto en

el que se especifique dicha funcin. En el caso de funciones de varias variables
(dos, por ejemplo), la imagen del par (a1, a2) no se denota por f((a1, a2)), sino
por f(a1, a2), y similarmente para ms variables.
Existen adems terminologas diversas en distintas ramas de las matemticas
para referirse a funciones con determinados dominios y codominios:

Funcin real: f: R R

Funcin compleja: f: C C

Funcin escalar: f: Rn R

Funcin vectorial: f: Rn Rm

Tambin las sucesiones infinitas de elementos tales como a, b, c, ... son

funciones, cuyo dominio en este caso son los nmeros naturales. Las palabras
funcin, aplicacin, mapeo, u otras como operador, funcional, etc.
pueden designar tipos concretos de funcin segn el contexto. Adicionalmente,
algunos autores restringen la palabra funcin para el caso en el que los
elementos del conjunto inicial y final son nmeros.7
Imagen e imagen inversa[editar]
Artculo principal: Conjunto imagen

Dado un conjunto de votantes y un conjunto de posible partidos, en

unas elecciones, el sentido del voto de cada individuo se puede visualizar como
una funcin.
Los elementos del codominio B asociados
dominio A constituyen la imagen de la funcin.

con

algn

elemento

del

Dada una funcin f : A B, el elemento de B que corresponde a un cierto

elemento a del dominio A se denomina la imagen de a, f(a).
El conjunto de las imgenes de cada elemento del dominio es la imagen de la

funcin f (tambin rango orecorrido de f). El conjunto de las imgenes de un

subconjunto cualquiera del dominio, X A, se denomina laimagen de X.
La imagen de una funcin f se denota por Im(f), y la de un
subconjunto X por f(X) o f[X]. En notacin conjuntista las imgenes de f y X se
denotan:

La anti-imagen de cada partido es el conjunto de los electores que lo votaron.

La imagen de una funcin f es un subconjunto del codominio de la misma, pero
no son necesariamente iguales: pueden existir elementos en el codominio que
no son la imagen de ningn elemento del dominio, es decir, que no tienen
preimagen.
La imagen inversa (tambin anti-imagen o preimagen) de un elemento b del
codominio B es el conjunto de elementos del dominio A que tienen a b por
imagen. Se denota por f1(b).
La imagen inversa de un subconjunto cualquiera del codominio, Y B, es el
conjunto de las preimgenes de cada elemento de Y, y se escribe f1(Y).
As, la preimagen de un elemento del codominio puede no contener ningn
objeto o, por el contrario, contener uno o ms objetos, cuando a uno o varios
elementos del dominio se les asigna dicho elemento del codominio. En
notacin conjuntista, se escriben:

Ejemplos

La imagen de la funcin cubo f es todo R, ya que todo nmero real posee

una raz cbica real. En particular, las races cbicas de los nmeros
positivos (negativos) son positivas (negativas), por lo que se tiene, por
ejemplo, f1(R+) = R+.

El recorrido de la funcin inverso g no es igual a su codominio, ya que no

hay ningn nmero real x cuyo inverso sea 0, 1/x = 0.

Para la funcin clasificacin en gneros se tiene:

(Perro) = Canis, y 1(Canis) = {Perro, coyote, chacal,...}.

Como el rea es siempre un nmero positivo, el recorrido de la funcin

rea A es R+.

En el diagrama puede comprobarse que la imagen de la funcin

voto v no coincide con el codominio, ya que el partido C no recibi
ningn voto. Sin embargo puede verse que, por ejemplo, v1(Partido A)

tiene 2 elementos.
Igualdad de funciones[editar]
Dadas dos funciones, para que sean idnticas han de tener el mismo
dominio y codominio, y asignar la misma imagen a cada elemento del
dominio:
Dadas dos funciones f : A B y g : C D, son iguales o idnticas si se
cumple:

Tienen el mismo dominio: A = C

Tienen el mismo codominio: B = D

Asignan las mismas imgenes: para cada x A = B, se tiene que f(x)

= g(x)

Funciones inyectivas, suprayectivas y biyectivas[editar]

Artculos principales: Funcin inyectiva, Funcin suprayectiva y Funcin
biyectiva.
La imagen inversa de un elemento del codominio puede ser vaca, o
contener varios objetos del dominio. Esto da lugar a la siguiente
clasificacin:
Funciones

Inyectiva

No inyectiva

Sobreyectiva

Biyectiva

No sobreyectiva

Se dice que una funcin f : A B es inyectiva si las imgenes de

elementos distintos son distintas:

o, de modo equivalente, si slo asigna imgenes idnticas a

elementos idnticos:

Una funcin f : A B se dice suprayectiva (o sobreyectiva) si su

imagen es igual a su codominio:

o, de modo equivalente, si todo elemento del codominio es la

imagen de algn elemento del dominio:

Las funciones inyectivas no repiten las imgenes: si b = f(a), ningn

otro a' tiene por imagen a b, por lo que la anti-imagen de este ltimo slo
contiene al elemento a. Las funciones suprayectivas recorren todo el
codominio, por lo que ninguna anti-imagen puede estar vaca. La definicin

de funcin suprayectiva asume que esta tiene un codominio especificado

previamente. De lo contrario, la nocin de suprayectividad no tiene sentido.
Cuando una funcin tiene ambas propiedades a la vez, se dice que es una
biyeccin entre ambos conjuntos:
Una funcin f : A B se dice biyectiva si es inyectiva y
suprayectiva.
Las funciones biyectivas constituyen un emparejamiento perfecto entre
los elementos del dominio y el codominio: cada elemento en A tiene una
nica pareja en B como todas las funciones, y a cada elemento
de B le corresponde uno solo en A al menos uno por ser suprayectiva, y
como mucho uno por ser inyectiva.
Ejemplos.

La funcin cubo f: R R es biyectiva. Es inyectiva porque dos nmeros

reales que tienen el mismo cubo son idnticos, y es suprayectiva porque
Im(f) = R.

La funcin inverso g: R \ {0} R es inyectiva, ya que el inverso de

cada nmero real no nulo es nico (1/x = 1/y implica necesariamente
que x = y). Sin embargo no es suprayectiva, dado que Im(g) = R \ {0}.

La funcin de clasificacin de mamferos : M G no es inyectiva, ya

que hay mamferos distintos en el mismo gnero (por ejemplo, (Yak)
= (Toro) = Bos). Sin embargo s es suprayectiva, ya que en cada
gnero de mamferos hay clasificada al menos una especie de
mamferos.

La funcin rea A: T R no es sobreyectiva, ya que Im(A) = R+.

Tampoco es inyectiva, ya que pueden construirse con facilidad
tringulos distintos con el mismo rea.

En la imagen pueden verse varios ejemplos de funciones entre un

conjunto de pinceles P y un conjunto de caras C.

lgebra de funciones[editar]
Con las funciones puede realizarse una operacin de composicin con
propiedades similares a las de la multiplicacin.
Composicin de funciones[editar]

La composicin g f acta sobre el objeto x transformndolo segn f, y

despus transformando f(x) mediante g.
Artculo principal: Composicin de funciones
Dadas dos funciones, bajo ciertas condiciones podemos usar los valores de
salida de una de ellas como valores de entrada para la otra., creando una
nueva funcin.
Sean dos funciones f : A B y g : C D, tales que el
recorrido de la primera est contenido en el dominio de la
segunda,
Im(f)
C.
Entonces
puede
formarse
la composicin de g con f, la funcin g f : A D que a
cada a en el dominio A le asocia el elemento (g f)(a)
= g(f(a)).
Es decir, la composicin g f hace actuar primero la funcin f sobre un
elemento de A, y luego g sobre la imagen que se obtenga:

La condicin Im(f) C asegura precisamente que este segundo paso se

pueda llevar a cabo.
Ejemplos

La imagen de la funcin inverso g es R \ {0} puesto que todo

nmero real no nulo es el inverso de otro, y por tanto est contenido
en el dominio de la funcin cubo f, que es R. La composicin f g: R \
{0} R acta entonces como f(g(x)) = f(1/x) = (1/x)3= 1/x3.

Dadas las funciones reales h1: R R y h2: R R dadas por h1(x)

= x2 y h2(x) = x + 1, puede tomarse la composicin en ambos
rdenes, h1 h2 y h2 h1. Sin embargo, son funciones distintas, ya que:
(h1 h2)(x) = h1(h2(x)) = h1(x + 1) = (x + 1)2 = x2 + 2x + 1, y
(h2 h1)(x) = h2(h1(x)) = h2(x2) = x2 + 1

La funcin que clasifica los mamferos en gneros puede

componerse con la funcin : G Or que clasifica los gneros
de mamferos en rdenes que forman el conjunto Or. La
funcin asigna a cada mamfero su orden:

( )(Humano) = (Homo) = Primate, ( )(Guanaco) = (Lama)

= Artiodactyla
Funcin identidad[editar]
Artculo principal: Funcin identidad
En cualquier conjunto puede definirse una funcin identidad, que
teniendo como dominio y codominio al propio conjunto, asocia
cada elemento consigo mismo.
Dado un conjunto A, la funcin identidad de A es
la funcin idA : A A que a cada a A le asocia
idA(a) = a.
Tambin se denota como IA. La funcin identidad acta como
un elemento neutro al componer funciones, ya que no hace
nada.
Dada una funcin cualquiera f : A B se tiene:

Es decir, dado un elemento x A, se tiene que:

Funcin inversa[editar]
Artculo principal: Funcin inversa
Una funcin puede tener inversa, es decir, otra funcin que al componerla
con ella resulte en la identidad, del mismo modo que un nmero
multiplicado por su inverso da 1.
Dada
una
funcin f : A B,
se
la inversa o recproca de f si se cumple:

dice

que g : B A es

La inversa se denota por g = f1, y tanto f como f1 se dicen invertibles.

No todas las funciones son invertibles, sino que solo aquellas que sean
biyectivas poseen inversa:
Toda funcin biyectiva f es invertible, y su inversa f1 es
biyectiva a su vez. Recprocamente, toda funcin
invertible fes biyectiva.
La notacin para funciones inversas puede ser confusa. Para un elemento
del codominio b, f1(b) puede denotar tanto la anti-imagen de b (un
subconjunto del dominio), como a la imagen de b por la funcin inversa
de f (un elemento del dominio), en el caso de que f sea invertible.
Ejemplos.

La funcin exponencial h: R R, que asocia a cada nmero real

su exponencial, h(x) = ex, no es invertible, ya que no es suprayectiva:
ningn nmero negativo pertenece a la imagen de h.

Existe una funcin que calcula el cambio entre dos divisas. En el caso
del
cambio
de rupias a quetzales (las
monedas
de
la India y Guatemala), la conversin est dada (en 2011) por:
Q(r)
=
0,15
r
Esta funcin de cambio tiene inversa, la conversin recproca de
quetzales
a
rupias:
R(q) = 6,65 q

La funcin cubo f(x) = x3 es invertible, ya que podemos definir la funcin

inversa mediante la raz cbica, f1(x) = 3x.

La funcin de clasificacin en gneros : M G no es invertible, ya que

no es inyectiva, y para cada gnero pueden existir varios mamferos
clasificados en l.

La funcin que asigna a cada da de la semana su siguiente tiene por

inversa la funcin que asigna a cada da de la semana su antecesor:
Lunes Domingo, Martes Lunes,..., Domingo Sbado
Restriccin y extensin[editar]
Artculo principal: Restriccin de una funcin

La funcin que asigna a cada mujer del electorado su voto es una

restriccin de la funcin que a cada miembro del electorado le asigna su
voto.
La restriccin de una funcin dada es otra funcin definida en una parte
del dominio de la original, pero que acta igual que esta. Se dice
tambin que la primera es una extensin de la segunda.
Dadas dos funciones f : A B y g : C D, de forma que el dominio
de g sea un subconjunto del dominio de f,C A, y cuyas imgenes
coinciden en este subconjunto:

se dice entonces que g es la restriccin de f al subconjunto C, y

que f es una extensin de g.
La restriccin de una funcin f: A B a un subconjunto C A se
denota por f|C.
Representacin de funciones[editar]

Artculo principal: Representacin grfica de una funcin

Las funciones se pueden presentar de distintas maneras:

usando una relacin matemtica descrita mediante una expresin

matemtica: ecuaciones de la forma

. Cuando la relacin

es funcional, es decir satisface la segunda condicin de la definicin

de funcin, se puede definir una funcin que se dice definida por la
relacin, A menos que se indique lo contrario, se supone en tales
casos que el dominio es el mayor posible (respecto a inclusin) y
que el codominio son todos los Reales. El dominio seleccionado se
llama el dominio natural, de la funcin.
Ejemplo: y=x+2. Dominio natural es todos los reales.
Ejemplo: "Para todo x, nmero entero, y vale x ms dos unidades".

Como tabulacin: tabla que permite representar algunos

valores discretos de la funcin.

Ejemplo:

Como pares ordenados: pares ordenados, muy usados

en teora de grafos.

Ejemplo: A={(-2, 0),(-1, 1),(0, 2),(1, 3),... (x, x+2)}

Como grfica: grfica que permite visualizar las

tendencias en la funcin. Muy utilizada para
las funciones continuas tpicas del clculo, aunque
tambin las hay parafunciones discretas.

Ejemplo:
5

2
1

X
X

y/x

-2 -1 0 1 2 3

Definicin formal. Generalizaciones[editar]

Las funciones pueden definirse en trminos de otros objetos matemticos,
como los conjuntos y los pares ordenados. En particular, una funcin es un
caso particular derelacin binaria, luego su esta definicin est basada en
la que se adopte para las relaciones. En el enfoque extensivo se
identifica una funcin con su grfica:
Una funcin es un conjunto f de pares ordenados tal que no contiene dos
pares distintos con la misma primera componente:

El dominio (la imagen) de la funcin es entonces el conjunto de primeras

(segundas) componentes:

En la definicin extensiva no aparece el concepto de codominio como

conjunto potencial donde est contenido el recorrido. En algunas reas de
las matemticas es importante preservar esta distincin, y por tanto se usa
una definicin distinta:8
Una funcin es una terna de conjuntos f =
el codominio y el grafo de f, tales que:

(A, B, G(f)),

el dominio,

1. G(f) A B
2. Todo elemento del dominio tiene imagen: para cada a A, existe
un b B tal que (a, b) G(f)
3. Esta imagen es nica: si (a, b), (a, c) G(f), entonces b = c.
Con esta definicin, dos funciones con el mismo grafo son distintas si su
codominio no coincide. Tambin se habla en ocasiones de funciones
parciales, para las que no necesariamente cada elemento del dominio
posee una imagen, en contraste con las funciones como se han definido
antes, que se denominan totales. A las funciones parciales tambin se las
llama correspondencias o relaciones unvocas.
2.4.funciones espciales yu PROPIEDADES DE LAS FUNCIONES :

N
OLEGIO DE BACHILLERES DEL ESTADO DE OAXACA
PLANTEL 39 NAZARENO ETLA
MATEMTICAS
FUNCIONES ESPECIALES Y PROPIEDADES DE LAS FUNCIONES

BAUTISTA LPEZ JENNIFER MARITZA

407
NAZARENO ETLA
1 Febrero 2009
FUNCIONES ESPECIALES
FUNCIN CONSTANTE
TRLAS QUE F(x)K CON K X ERSe llama funcin constante a la que no
depende de ninguna variable, y la podemos representar como una funcin
matemtica de la forma:

Donde a es la constante.
Como se puede ver es una recta horizontal en el plano xy, en la grfica la
hemos representado en el plano, pero, como se puede ver la funcin no
depende de x, si hacemos:

Tenemos:

Donde a tiene un valor constante, en la grfica tenemos representadas:

Como la variable dependiente y no depende de x tenemos que:

La variacin de y respecto a x es cero

La funcin constante como un polinomio en x
Si un polinomio general, tiene la forma:

Una funcin constante cumple esta expresin con n= 0, es un polinomio de

grado 0.

Que es lo mismo que:

Que corresponde al termino independiente del polinomio.

Grafica de la funcin constante
Es el conjunto de los puntos del plano que representan a los pares
ordenados de la funcin, donde su primera componente es un nmero real
y su segunda componente es el valor constante.
F= {(x,f(x)]
VALOR ABSOLUTO

en matemticas, el valor absoluto o mdulo[1] de un nmero real es su

valor numrico sin su respectivo signo, sea este positivo (+) onegativo (-).
As, por ejemplo, 3 es el valor absoluto de 3 y -3.
El concepto de valor absoluto de un nmero real puede generalizarse a
muchos
otros
objetos
matemticos,
como
son
los nmeros
reales,cuaterniones, anillos ordenados, cuerpos o espacios vectoriales.
El valor absoluto est estrechamente relacionado con las nociones
de magnitud, distancia y norma en diferentes contextos matemticos y
fsicos.
Las funciones en valor absoluto se transforman en funciones a trozos,
siguiendo los siguientes pasos:
1. Se iguala a cero la funcin, sin el valor absoluto, y se calculan sus races.
2. Se forman intervalos con las races y se evala el signo de cada
intervalo.
3. Definimos la funcin a trozos, teniendo en cuenta que en los intervalos
donde la x es negativa se cambia el signo de la funcin.
4 Representamos la funcin resultante.
GRAFICA DE LA FUNCIN VALOR ABSOLUTO
Es el conjunto de puntos del plano que representa a los pares ordenados
de la funcin en los cuales la primera componente es un numero real y la
segunda componente ese el valor absoluto de la primera.

Propiedades de la funcin
a) INYECTIVA: Aquellas en
nico origen. Formalmente,

que

cada imagen le

corresponde

un

o lo que es lo mismo,

a cada elemento del dominio corresponde el mismo numero como su

imagen de manera que diferente elementos del dominio tienen la misma
imagen.
C=3
Por lo tanto la funcin constante no es inyectiva. Todas las funciones
constantes no son inyectivas
B) SUPRAYECTIVA: Aquellas en que la aplicacin es sobre todo

el codominio,
es
decir,
cuando
el conjunto
imagen
. Esto significa que todo elemento del condominio tiene un origen.
Formalmente,
Estas funciones tambin se conocen como exhaustivas o epiyectivas.
como el dominio y el contra dominio de la funcin son los nmeros reales y
cualquier le pertenece al conjunto de A le corresponde el mismo numero,
entonces el conjunto imagen es igual a ej. C=3 y 3 =/ TR por consiguiente la
funcin constante no es suprayectiva
c) BIYECTIVA: cuando la funcin es inyectiva y suprayect5iva ala vez,
cumple la regla biyectiva por lo tanto depende de la fu8ncion
Aquellas que son al mismo tiempo inyectivas y sobreyectivas. Formalmente,
Ejemplos

Sobreyecti
va,
no Inyectiva,
inyectiva
sobreyectiva
Ejercicios
FUNCIN CONSTANTE
F(x)= 3x E1R F=[(x, F(x)]
VALORES F x =3 (X, F x)
-3 F (-3) =3 (-3,3)
-2 F (-2) =3 (-2,3)
-1 F (-1) =3 (-1,3)
0 F (0) =3 (0,3)
1 F (1) =3 (1,3)
2 F (2) =3 (2,3)
3 F (3) =3 (3,3)

no
Biyectiva

No
sobreyecti
va,
no
inyectiva

Propiedades
Inyectiva:
Esta grafica no es inyectiva debido a que todos los elementos del dominio
les corresponden el mismo contra dominio es decir para todos los
elementos de a
C=3
Suprayectiva:
Tampoco es suprayectiva debido a que a todos los humeros de a les
corresponde el mismo contra dominio
Biyectiva:
Al no ser inyectiva ni tampoco suprayectiva n cumple las reglas de esta y no
es biyectiva
F(x)= -3
-3 F (-3) =-3 (-3,-3)
-2 F (-2) =-3 (-2,-3)
-1 F (-1) =-3 (-1,-3)
0 F (0) =-3 (0,-3)
1 F (1) =-3 (1,-3)
2 F (2) =-3 (2,-3)
3 F (3) =-3 (3,-3)
Propiedades
Inyectiva:
Esta grafrica no es inyectiva para que todos los elementos de X
corresponden ala misma imagen es decir que en todos los casos

C=-3
Biyectiva:
No es biyectiva ya que estas a su vez no es ni inyectiva ni suprayectiva al
mismo caso anterior y sus rangos corresponden a cualquier cantidad de los
dominios.
Suprayectiva:
No es suprayectiva ya que aunque coincida en (-2,-2) el rango es el mismo
para todos los dominios.
Ejercicios
VALOR ABSOLUTO
F(x)= -4
X F(x)=(x) (x, F(x))
-4 F (-4)=/-4/ (-4,4)
-3 F (-3)=/-3/ (-3,3)
-2 F (-2)=/-2/ (-2,2)
-1 F (-1)=/-1/ (-1,1)
0 F (0)=/0/ (0,0)
1 F (1)=/1/ (1,1)
2 F (2)=/2/ (2,2)
3 F (3)=/3/ (3,3)
4 F (4)=/4/ (4,4)
Propiedades
Inyectiva:
Esta grafica si es inyectiva ya que para los dominios siempre hay contra
dominio diferente a los dems.
Suprayectiva:
Si es suprayectiva ya que a todos los elementos les corresponde ms de un
elemento y en este caso les corresponde dos as cada uno.
Biyectiva:
Si es biyectiva ya qu8e no se repite ningn para y los contra dominios
cambian

Ejemplo DE FUNCIONES MATEMTICAS

Ejemplo de funcione inyectiva:

Para

cualquier

conjunto X y

subconjunto S de X el mapa

de

inclusin S X (el cual enva cualquier elemento s de S para si mismo)

es inyectiva. En particular, la funcin identidad X X es siempre
inyectiva (y de hecho biyectiva).

La funcin f : R R definida por f(x) = 2x + 1 es inyectiva.

La funcin g : R R definida por g(x) = x2 no es inyectiva, porque (por

ejemplo) g(1) = 1 = g(1). No obstante, si g se redefine de manera que
su dominio es los nmeros reales no negativos [0,+), entonces g es
inyectiva.

La funcin exponencial exp : R R definida por exp(x) = ex es inyectiva

(pero no sobreyectiva, porque no genera nmeros negativos, los cuales
no tienen relacin con ningn valor de x).

El logaritmo natural En la funcin ln : (0, ) R definida por x ln x es

inyectiva.

La funcin g : R R definida por g(x) = xn x no es inyectiva, ya que,

por ejemplo, g(0) = g(1).

En trminos ms generales, cuando X e Y estn ambos en la recta real R, a

continuacin, una funcin inyectiva f : R R es aquella cuya grfica nunca
es cruzada por una lnea horizontal ms de una vez. Este principio se
conoce como la prueba de lnea horizontal.

Ejemplo de funcin biyectiva:

La funcin:

es biyectiva.
Luego, su inversa:

tambin lo es.1
El siguiente diagrama de grafos bipartitos se puede ver cuando la
funcin es biyectiva:
Funciones

Inyectiva

No inyectiva

Sobreyectiva

Biyectiva

No sobreyectiva

Ejemplo de funcin sobreyectiva:

1.21.
1.22.
2.
2.1.
2.2.
2.3.
2.4.
2.5.
2.6.

N
n
B
B
B
B
B
b