Conceptos Bsicos de Matemticas.

Producto cartesiano.- El producto cartesiano entre dos conjuntos A y B se denota por AxB
y es el conjunto de los pares ordenados cuyo primer elemento pertenece a A y cuyo
segundo elemento pertenece a B. Ejemplo:

A={ a,b,c,d } B={ 1,2,3 }

AxB = { (a,1), (a,2), (a,3), (b,1), (b,2), (b,3), (c,1), (c,2), (c,3), (d,1), (d,2), (d,3) }

El producto cartesiano de n conjuntos A1xA2x .......xAn es el conjunto de las n-tuplas

ordenadas en las que el primer elemento es elemento de A1, el segundo elemento es
elemento de A2, ......, el ltimo elemento de la n-tupla es elemento que pertenece a An.
Ejemplo:

A = { a, b} B = {1, 2 } C = { x, y }

AxBxC = { (a, 1, x), (a, 1, y), (a, 2, x), (a, 2, y), (b, 1, x), (b, 1, y), (b, 2, x), (b, 2, y ) }

Un caso particular se presenta si A = B = C entonces el producto cartesiano AxA se denota

por A2, as que : AxA = A2 , AxAxA = A3 y as sucesivamente. Ejemplos:

R2 es el conjunto de los pares ordenados cuyos elementos son nmeros reales, esto es el
plano o espacio de dos dimensiones.

R3 es el conjunto de las tripletas ordenadas cuyos elementos son nmeros reales, esto es el
volumen o espacio de tres dimensiones.

Relacin.- Una relacin de n lugares de los conjuntos A1 a An es un subconjunto del

producto cartesiano A1xA2x .......xAn . Puesto de otra manera, los objetos x1, ... ,xn ( donde
x1 A1 , x2 A2 ,.....) estn relacionados por R si y slo si la n-tupla ordenada (x1, x2, ..., xn)
R .
La ms comn de las relaciones y tambin la ms utilizada es aquella que se define cuando
n = 2 . Estas relaciones son llamadas relaciones binarias .

Relacin binaria.- De lo anterior, una relacin binaria entre los conjuntos A y B es

simplemente cualquier subconjunto del producto cartesiano AxB. Ejemplos:
A={ a,b,c,d } B={ 1,2,3 }

AxB = { (a,1), (a,2), (a,3), (b,1), (b,2), (b,3), (c,1), (c,2), (c,3), (d,1), (d,2), (d,3) }

En este contexto podramos definir las siguientes relaciones:

R1 = { (a,1), (a,2), (a,3) }

R2 = { (a,1), (b,1), (c,1) }

R3 = { (a,1), (b,2), (c,3) }

e inclusive

R4 =AxB = { (a,1), (a,2), (a,3), (b,1), (b,2), (b,3), (c,1), (c,2), (c,3), (d,1), (d,2), (d,3) }

Ya que todo conjunto es subconjunto de s mismo.

En este ejemplo cualquier subconjunto de AxB es vlido como una relacin de A a B.

Incluso el vaco el cual por definicin es subconjunto de cualquier conjunto - es una
relacin llamada la relacin vaca.

En una relacin binaria en la que A = B se dice que un subconjunto del producto cartesiano
A2 define una relacin en A.

Dominio y Rango de una relacin binaria.- Asociados con cualquier relacin binaria R
entre A y B estn dos conjuntos conocidos como el dominio de R, D(R), y el rango de R,
R(R). Estos estn definidos por

D(R) = { x | (x, y) R }

R(R) = { y | (x, y) R }
En palabras: el dominio de una relacin binaria son los elementos de A que aparecen en al
menos un par ordenado de R como primer elemento de la dupla ordenada, mientras que el
rango es el conjunto de los elementos de B que aparecen en al menos una dupla ordenada
de R como segundo elemento de dicha dupla. Como se puede razonar, no todos los
elementos de A forman parte del dominio, sino slo aquellos utilizados en la relacin. Y lo
mismo se puede decir para el rango, no todos los elementos de B forman el rango, sino slo
aquellos empleados en la relacin. Ejemplo:

Para la relacin: R1 = { (a,1), (a,2), (a,3) } definida anteriormente con

A={ a,b,c,d } B={ 1,2,3 }

El dominio: D(R1) = { a } slo posee un elemento y es distinto de A.

El rango: R(R) = { 1,2,3 } = B a diferencia del dominio en este caso el rango s

cubre completamente a B.

Una notacin muy comn para las relaciones es la que denota al elemento del rango y que
se relaciona con cada elemento del dominio x, de la siguiente manera:

y = (x)

En este caso la relacin se denota por

Funciones .- Una relacin binaria entre los conjuntos A y B es una funcin si para
cualquier elemento "a" que pertenezca al dominio D de la relacin existe uno y slo un
elemento b del rango tal que b = (a).

De otra manera: si "a" es elemento de D y b =(a) y adems c =(a) entonces la nica

manera de que sea una funcin es que b = c .

Una forma sencilla de verificar si una relacin es funcin es contruir su grfica de x vs. y
colocando x en la horizontal (abcisas ) y "y" en la vertical (ordenadas). Si se tiran lneas
verticales en esta grfica y por lo menos alguna de ellas toca dos o ms puntos de la curva
graficada entonces esta relacin no ser una funcin. Si por el contrario todas las lneas
verticales tocan a la curva en slo uno o en ningn punto, se trata de la grfica de una
funcin.
Ejemplos:

y = x2 se trata de una funcin, cada x posee un nico valor de y relacionado, si la

graficamos obtenemos una parbola abriendo hacia arriba en la que cualquier
lnea vertical trazada sobre la curva la corta solamente en un punto.

y = x se trata de una relacin, cada x posee dos valores de y relacionados, en la

grfica se observar una parbola que abre a la derecha ( el dominio es x 0 )
en la que toda lnea vertical excepto la que pasa por 0 cruzar por dos puntos
de la curva.

Al igual que las relaciones la notacin ms comn de una funcin es la siguiente:

f: A B y=f(x)

Funcin Inyectiva.- Una funcin f: A B es inyectiva si su dominio cubre por

completo al conjunto A. O sea D = A. Estas funciones inyectivas tambin son llamadas
mapeos o transformaciones. Es fcil distinguir en una grfica de x vs. y , a una funcin
inyectiva: primero se verifica si en efecto es funcin ( como se mencion anteriormente ) y
luego se recorre todo el eje x observando si para toda x existe un punto definido en la
curva, si esto ocurre entonces la funcin ser inyectiva. Ejemplos:

Utilicemos los ejemplos del punto anterior, en el caso de y = x2 se trata de una funcin
inyectiva ya que el dominio cubre todo el eje x de - hasta +, es decir todo el conjunto
de los reales. Mientras que y = x ni siquiera es una funcin, para ilustrar el caso de
una funcin no inyectiva analizemos y = x ahora s tenemos una funcin ya que
eliminamos el signo menos. Pero como el dominio de esta ltima funcin es el intervalo
[0, +o x 0 existen valores reales ( los negativos) que no estn en el dominio por lo
que esta funcin no es inyectiva.

Funcin Sobreyectiva.- Una funcin f: A B es sobreyectiva si su rango cubre por

completo al conjunto B. O sea R = B. Estas funciones sobreyectivas tambin son llamadas
funciones onto. Es fcil distinguir en una grfica de x vs. y , a una funcin sobreyectiva:
primero se verifica si en efecto es funcin ( como se mencion anteriormente ) y luego se
recorre todo el eje y observando si para toda y existe un punto definido en la curva, si esto
ocurre entonces la funcin ser sobreyectiva. Ejemplos:

Utilicemos los ejemplos del punto anterior, en el caso de y = x2 se trata de una funcin
inyectiva ya que el dominio cubre todo el eje x de - hasta +, es decir todo el conjunto
de los reales sin embargo no es sobreyectiva ya que el rango es x 0. Mientras que
y = x tiene como dominio y como rango el intervalo [0, +, existen valores reales
( los negativos) que no estn en el dominio ni en el rango, por lo que esta funcin no es
inyectiva y tampoco es sobreyectiva.
Una funcin sobreyectiva es la funcin y = Ln (x) cuyo dominio es ( 0, +por lo
que no es inyectiva sin embargo su rango son todos los reales por lo que es sobreyectiva.

Funcin Biyectiva.- Una funcin f: A B es biyectiva si es inyectiva y tambien es

sobreyectiva. O sea D = A y R = B. Estas funciones biyectivas tambin son llamadas
funciones uno a uno o de correspondencia biunvoca. En estos casos para cada x hay una y
slo una "y" relacionada y viceversa. Ejemplos: y = x ( funcin identidad )
y = x3 ( parbola cbica )

Operaciones.- Una operacin sobre un conjunto S es una funcin f: Sn S

para alguna n N. Donde N es el conjunto de los nmeros naturales. En esta definicin hay
dos aspectos importantes que resaltar. Primero, si una operacin es una funcin entonces el
resultado de realizar alguna operacin est bien definido, dado que para una n-tupla
ordenada dada de elementos en S, f generar no ms de un elemento de S.
Segundo, si el rango de una operacin cae en el conjunto S donde acta la operacin
decimos que es cerrada en S.
A pesar de lo complicado y quizs abstracto de la definicin anterior, tiene una traduccin
trivial en lenguaje no formal es decir en espaol: la definicin anterior simplemente nos
indica que al operar con n-tuplas cuyos elementos pertenecen al conjunto de las manzanas
da como resultado un elemento del conjunto de las manzanas. Este es el concepto de
cerradura en forma sencilla.
Para operaciones con cerradura, si se operan nmeros enteros, el resultado ser entero. En
una operacin con reales el resultado ser real, etc.

Una operacin f: Sn S se dice que es de orden n. Sin embargo las operaciones ms tiles
y comunes utilizan n = 1 o a lo mucho n = 2. Las operaciones con n = 1 se llaman monarias
o mondicas, mientras que las de orden dos son llamadas binarias o didicas. Ejemplos:
El ejemplo ms comn de operacin monaria es la negacin, la cual transforma un nmero
positivo en su inverso aditivo o correspondiente valor negativo, la notacin es : f(x)= - x.
Ntece que en este caso la n-tupla en realidad es un solo valor en este caso x. La evidencia
de que se trata de una funcin puede observarse en la siguiente construccin:

f(x) = { y | x + y = 0 }

Por otro lado la simple suma de nmeros constituye un ejemplo de operacin binaria:
f(x,y ) = x + y = z . Observe que en este caso la n-tupla es una dupla ordenada (x,y) y el
resultado depender de la naturaleza de los nmeros sumados de acuerdo a la cerradura, ya
que la suma es una operacin cerrada. Si los sumandos son enteros el resultado ser entero,
si los sumandos son racionales el resultado ser racional, etc.
 ESTRUCTURAS ALGEBRAICAS

Estructura Algebraica.- Una estructura algebraica es un conjunto junto con operaciones

cerradas definidas sobre ese conjunto. Notacin: denotaremos las estructuras algebraicas
de la siguiente manera < S, > en donde S es por set y denota al conjunto, mientras que
es una operacin en S. Las estructuras algebraicas pueden tener varios conjuntos y
tambin varias operaciones cerradas.

Semigrupo.- Un semigrupo es un conjunto S junto con una operacin binaria cerrada

que satisface el simple requerimiento de ser asociativa, esto es :

x , y , z S x ( y z) = (x y) z

Ejemplo : Sea S el conjunto de los colores y la operacin de mezclar colores. Es obvio

que en el resultado no importa cuales se mezclen primero, por lo que la operacin binaria es
asociativa y la estructura resultante es entonces un semigrupo.

Monoide.- Un monoide es un conjunto M junto con una operacin binaria @ tal que

1) @ es asociativa
x , y , z M x@ ( y@ z) = (x @ y)@ z

2) Existe una u M tal que

x M u @ x= x = x @ u

u es llamado el elemento identidad de @ .

Ejemplo : Sea M el conjunto de las cadenas de caracteres y @ la operacin binaria de

concatenacin entre dos cadenas, sea u la cadena vaca. La operacin de concatenar es
asociativa ya que da lo mismo concatenar primero x con y y luego con z que concatenar y
con z y el resultado concatenarlo a x. Por otro lado si se preconcatena o se postconcatena la
cadena vaca a cualquier cadena, esta ltima resulta inalterada. As que esta estructura
algebraica es un monoide.
Grupo.- Un grupo es un conjunto G junto con una operacin binaria tal que

1) es asociativa

2) Existe una u G tal que

x G u x= x = x u

3) Para todo elemento x G corresponde un elemento y G tal que

xy = u = y x ;

y es llamado el inverso de x para la operacin binaria .

Ejemplo : Sea G el conjunto de los enteros y la operacin binaria de suma natural entre
dos enteros, sea u el cero. La operacin de sumar es asociativa. Por otro lado si se
presuma o se postsuma el cero a cualquier entero, este ltimo resulta inalterado.
Adems para todo entero x existe un entero y = -x tal que x + ( - x ) = 0 entonces existen
los inversos ante la suma o inversos aditivos.
As que los enteros y la suma natural forman un grupo.

Conmutatividad.- Algunas veces se califica a un grupo o a un monoide con el adjetivo

conmutativo si soporta la propiedad adicional de la conmutatividad, esta es :

x , y M o G x@ y = y @ x

Un grupo conmutativo tambin es llamado grupo abeliano. ( Observe que los enteros y la
suma natural forman un grupo abeliano ).

Anillos.- Un anillo es un conjunto R junto con dos operaciones binarias y tales que

1) es asociativa.
2) es conmutativa.
3) tiene un elemento identidad, escrito 0 y llamado cero.
4) Existen los inversos ante .
5) es asociativa.
6) distribuye sobre , de tal manera que
x , y , z R x( yz) = (xy)(xz)
y

(xy)z = ( xz)( yz)

Ejemplo: Las matrices con la suma y multiplicacin matricial.

Campos.- Un campo es un conjunto F junto con dos operaciones binarias sobre F (
llamadas multiplicacin , *, y adicin , ) generalmente se escribe < F, *, > de tal
manera que las siguientes nueve propiedades existen.

1) La adicin es asociativa.
x , y , z F x( yz) = (xy)z
2) Existe un elemento en F usualmente se escribe 0 , tal que
x F x0= x = 0x

0 es la identidad aditiva llamada cero.

3) Para toda x F le corresponde un elemento y F tal que x y = 0 = y x.

Es el inverso aditivo escrito - x .

4) La adicin es conmutativa.

x , y F xy = yx

5) La multiplicacin es asociativa.
x , y , z F x*( y *z) = (x * y)* z

6) Existe un elemento en F usualmente se escribe 1 , tal que

x F x*1= x = 1*x

es la identidad multiplicativa o unidad.

7) Para toda x F - { 0 } le corresponde un elemento y F tal que x * y = 1 = y * x.

Es el inverso multiplicativo escrito x -1 .

8) La multiplicacin es conmutativa.

x , y F x* y = y * x

9) La multiplicacin distribuye sobre la adicin.

x , y , z F x* ( yz) = (x * y)(x * z)
 Ejemplos : Los racionales con la multiplicacin y la suma naturales son un campo.
< Q, *, + >
Los reales con la multiplicacin y la suma de los reales son un campo. < R, *, + >
Los complejos con la multiplicacin y la suma de complejos son un campo.< C, *, + >
Cualquiera de estos tres pueden en un momento dado ser los " Escalares " de una
lgebra Lineal.

lgebra Lineal o Espacio Vectorial.- En la cspide de la complejidad de las

estructuras algebraicas tenemos las lgebras lineales o espacios vectoriales, como se
ver en seguida estas contienen un campo como parte de su estructura. A este campo
se le llama campo escalar o el campo de los escalares del lgebra lineal.

Definicin.- Sea < F, , > un campo y V un conjunto con una operacin binaria +.
Suponga que para cada a F y para cada x V est definido un elemento a x
V , entonces si

i) < V, + > es un grupo abeliano o grupo conmutativo. Y adems

ii) x, y V y a, b F

( ab)x = ax + bx

a(x + y) = ax + ay

( a b ) x = a ( b x )

1F x = x donde 1F es la identidad multiplicativa de en F

Se dice que V es el espacio vectorial sobre F, los elementos de V son llamados vectores
por lo que a V tambin se le llama el conjunto de los vectores. La operacin es la
operacin de multiplicacin de un escalar por un vector la cual genera un vector ( es
cerrada en V ). Esta multiplicacin es distinta de * que es la multiplicacin en el campo
escalar ( en la prctica muchas veces se omiten rompiendo con la formalidad, pero uno sabe
por el contexto de los operandos de que operacin se trata, ya que se acostumbra distinguir
los vectores con negritas o flechitas, as que siempre se puede distinguir de que producto se
trata). Se debe ser estrictamente riguroso con la notacin distinguiendo los vectores !
En este apunte se usaron minsculas negritas.

A pesar de que se pueden construir muchsimos casos de lgebras lineales, en el curso de

Teora Electromagntica sern utilizadas primordialmente las siguientes:
Caso esttico : El campo escalar F sern los reales con la multiplicacin y la suma de los
reales, es decir < R, *, + >. Mientras que los vectores estarn en R3 , o sea tripletas
ordenadas de nmeros reales que simularn los puntos del espacio fsico de tres
dimensiones. V = R3.

Caso dinmico con variacin senoidal en el tiempo o caso fasorial : El campo escalar F
sern los complejos con la multiplicacin y la suma de los complejos, es decir < C, *, + >.
Mientras que los vectores estarn en C3 , o sea tripletas ordenadas de nmeros complejos
que simularn los puntos del espacio fsico de tres dimensiones en el que las variaciones de
nuestras variables son senoidales en el tiempo. V = C3

Smbolos matemticos utilizados.

Smbolo Significado
{} Conjunto
Pertenece a
Conjunto vaco
| Tal que
f: A B Funcin que va de A a B
Para toda
Operacin cualquiera
Operacin cualquiera
@ Operacin cualquiera

Bibliografa : Computer Mathematics D. J. Cookes y H. E. Bez

Cambridge University Press.