Álgebra Lineal I

Campos

Guillermo Garro y Araceli Guzmán

Facultad de ciencias UNAM

Table of contents

1. Axiomas de Campo

2. Titleformats

3. Elements

4. Conclusion

1
Axiomas de Campo
Los Axiomas de Campo: Suma y Multiplicación

Un campo (o cuerpo) es un sistema (F, +, ·) que consiste de un conjunto F

no vacío y dos operaciones binarias, suma (ó adición) y multiplicación (ó
producto), tales que a cada par ordenado de elementos de F,

(a, b) ∈ F2 = F × F,

le corresponde los elementos de F únicamente determinados

a+b y ab (ó también a · b),

llamados la suma de a y b y el producto de a y b, respectivamente.

2
Los Axiomas de Campo: Leyes Conmutativas y Leyes Asociativas

Tales que se cumplen las siguientes condiciones (Axiomas de Campo)

1. Leyes conmutativas.
Para todos a y b en F,

a+b=b+a y ab = ba.

2. Leyes Asociativas.
Para todos a, b y c en F,

(a + b) + c = a + (b + c) y (ab)c = a(bc).

3
Los Axiomas de Campo: Leyes Conmutativas y Leyes Asociativas

Tales que se cumplen las siguientes condiciones (Axiomas de Campo)

1. Leyes conmutativas.
Para todos a y b en F,

a+b=b+a y ab = ba.

2. Leyes Asociativas.
Para todos a, b y c en F,

(a + b) + c = a + (b + c) y (ab)c = a(bc).

3
Los Axiomas de Campo: Leyes Conmutativas y Leyes Asociativas

Tales que se cumplen las siguientes condiciones (Axiomas de Campo)

1. Leyes conmutativas.
Para todos a y b en F,

a+b=b+a y ab = ba.

2. Leyes Asociativas.
Para todos a, b y c en F,

(a + b) + c = a + (b + c) y (ab)c = a(bc).

3
Sumas y Productos Finitos

Si a, b, c ∈ F, entonces definimos

a + b + c := (a + b) + c y abc := (ab)c.

Teorema
Si a1 , a2 , a3 ∈ F y σ : {1, 2, 3} → {1, 2, 3} una permutación de los índices
1, 2, 3, entonces

a1 + a2 + a3 = aσ(1) + aσ(2) + aσ(3) y a1 a2 a3 = aσ(1) aσ(2) aσ(3) .

Demostración

a1 + a2 + a3 = (a1 + a2 ) + a3
= a1 + (a2 + a3 )
= a1 + (a3 + a2 )
= (a1 + a3 ) + a2
= a1 + a3 + a2 . 4
Sumas y Productos Finitos

Si a, b, c ∈ F, entonces definimos

a + b + c := (a + b) + c y abc := (ab)c.

Teorema
Si a1 , a2 , a3 ∈ F y σ : {1, 2, 3} → {1, 2, 3} una permutación de los índices
1, 2, 3, entonces

a1 + a2 + a3 = aσ(1) + aσ(2) + aσ(3) y a1 a2 a3 = aσ(1) aσ(2) aσ(3) .

Demostración
Análogamente,

a1 + a2 + a3 = (a1 + a2 ) + a3
= a3 + (a1 + a2 )
= (a3 + a1 ) + a2
= a3 + a1 + a2 .
5
Sumas y Productos Finitos

Si a, b, c ∈ F, entonces definimos

a + b + c := (a + b) + c y abc := (ab)c.

Teorema
Si a1 , a2 , a3 ∈ F y σ : {1, 2, 3} → {1, 2, 3} una permutación de los índices
1, 2, 3, entonces

a1 + a2 + a3 = aσ(1) + aσ(2) + aσ(3) y a1 a2 a3 = aσ(1) aσ(2) aσ(3) .

Demostración
Tenemos así,
a1 + a2 + a3 = a1 + a3 + a2 = a3 + a1 + a2 .

Y con los mismos argumentos podemos probar las igualdades

a3 + a1 + a2 = a3 + a2 + a1
= a2 + a3 + a1
= a2 + a1 + a3 . 6
Los Axiomas de Campo: Leyes Distributivas

3. Leyes distributivas.
Para todos a, b y c en F,

a(b + c) = ab + ac
(a + b)c = ac + bc.

Observación
Basta proponer una ley distributiva por la izquierda ..., puesto que ... se sigue
de ... y la ley conmutativa:

(a + b)c = c(a + b)
= ca + cb
= ac + bc.

Desde luego, algo análogo puede hacerse si suponemos solamente una ley
distributiva por la derecha ... y probamos ...

7
El Operador Suma

Dada una colección finita a1 , ...an de elementos en F, definimos el operador

∑
suma recursivamente
∑
1
• ai = a1 ,
i=1

∑
k
• y para 1 ≤ k ≤ n − 1, si ai está definido, entonces
i=1

∑
k+1 ∑
k
ai = ai + ak+1 .
i=1 i=1

Notación

Es usual escribir
a1 + a2 + · · · + an .

Teorema
Sean a1 , ..., an elementos en F y σ : {1, ..., n} → {1, ..., n} una permutación de
los índices 1, ..., n, entonces
8
∑
n ∑
n
El Operador Suma

Teorema
Si a1 , ..., an y b1 , ..., bn son elementos de F, entonces
∑
n ∑
n ∑
n
(ai + bi ) = ai + bi .
i=1 i=1 i=1

Demostración
Por inducción sobre n.

Caso n = 1. Sean a1 y b1 elementos de F. Entonces

∑
1
(ai + bi ) = a1 + b1
i=1

∑
1 ∑
1
= ai + bi .
i=1 i=1

9
El Operador Suma

Teorema
Si a1 , ..., an y b1 , ..., bn son elementos de F, entonces
∑
n ∑
n ∑
n
(ai + bi ) = ai + bi .
i=1 i=1 i=1

Demostración
Supongamos ... Sean a1 , ..., an+1 y b1 , ..., bn+1 en F. Tenemos,

∑
n+1 ∑
n
(ai + bi ) = (ai + bi ) + (an+1 + bn+1 )
i=1 i=
∑
n ∑
n
= ai + bi + an+1 + bn+1
i=1 i=1
∑
n ∑
n
= ai + an+1 + bi + bn+1
i=1 i=1

∑
n+1 ∑
n+1
= ai + bi .
i=1 i=1 10
El Operador Suma

Teorema
Sean a y b1 , ..., bn elementos de F, entonces
∑
n ∑
n
abi = a bi .
i=1 i=1

Demostración
Por inducción sobre n.

Caso n = 1. Sean a y b1 elementos de F. Entonces

∑
1 ∑
1
a bi = ab1 = abi .
i=1 i=1

11
El Operador Suma

Teorema
Sean a y b1 , ..., bn elementos de F, entonces
∑
n ∑
n
abi = a bi .
i=1 i=1

Demostración
Supongamos ... Sean a y b1 , ..., bn+1 en F. Tenemos,
( n )
∑
n+1 ∑
a bi = a bi + bn+1
i=1 i=1
∑
n
=a bi + abn+1
i=1
∑
n
= abi + abn+1
i=1

∑
n+1
= abi .
i=1 12
El Operador Suma

Corolario
Si a1 , ..., an y b1 , ..., bm son elementos de F, entonces
( n )( m )
∑ ∑ ∑n ∑m
ai bj = ai bj .
i=1 j=1 i=1 j=1

Demostración
( )( ) ( )
∑
n ∑
m ∑
n ∑
m
ai bj = ai bj
i=1 j=1 i=1 j=1

∑
n ∑
m
= ai bj .
i=1 j=1

13
El Operador Suma

Corolario (Ley conmutativa para sumas iteradas)

Si a1 , ..., an y b1 , ..., bm son elementos de F, entonces
n ∑
∑ m ∑
m ∑
n
ai bj = ai bj .
i=1 j=1 j=1 i=1

Demostración
( n )( m )
∑
n ∑
m ∑ ∑
ai bj = ai bj
i=1 j=1 i=1 j=1
( )( n )
∑
m ∑
= bj ai
j=1 i=1

∑
m ∑
n
= ai bj .
j=1 i=1

14
Los Axiomas de Campo: Neutro para la Suma. Unicidad

4. Neutro para la Suma (cero).

Existe un elemento 0 ∈ F (el cero) tal que para todo a ∈ F,

a + 0 = a.

Observación
Por conmutatividad de la suma, para todo a ∈ F,

a + 0 = a = 0 + a.

Teorema
El neutro para la suma es único.

Demostración
Sea 0′ algún otro neutro para la suma en F. Entonces

0 = 0 + 0′ = 0′ .

15
Los Axiomas de Campo: Inversos Aditivos

5. Inversos aditivos.
Para cada a ∈ F existe b ∈ F, el inverso de a, tal que

a + b = 0.

Observación
Por conmutatividad, si b es el inverso de a,

a + b = 0 = b + a.

Observación
b es el inverso de a ⇔ a es el inverso de b.

16
Los Axiomas de Campo: Unicidad de los Inversos Aditivos

Teorema
Para cada a ∈ F existe un único inverso aditivo de a.

Demostración
Sean b y b′ inversos para algún a ∈ F. Entonces

b=0+b
= (b′ + a) + b
= b′ + (a + b)
= b′ + 0
=b

17
Idempotencia del inverso aditivo

Notación

Denotamos como −a al inverso de a.

También convenimos
b − a := b + (−a).

Teorema
−(−a) = a, para todo a ∈ F.

Demostración
−(−a) es el inverso de −a, y el inverso de −a es a, por lo que, por unicidad
de los inversos aditivos
−(−a) = a.

18
El inverso del cero es el cero

Teorema
0 = −0.

Demostración

0+0=0

Así que unicidad de los inversos,

0 = −0.

¿Cierto o Falso?

Si a = −a entonces a = 0.

19
El inverso de una suma es la suma de los inversos

Teorema
Para todos a, b ∈ F,
−a − b = −(a + b).

Demostración

(a + b) − b = a + (b − b)
=a+0
= a.

De donde
(a + b) − b − a = a − a = 0.

Por unicidad de los inversos para la suma, se sigue que

−b − a = −(a + b).

20
Ley Cancelativa

Teorema (Ley Cancelativa)

Para todos a, b, c ∈ F,

si a + b = a + c entonces b = c.

Demostración

a+b=a+c
−a + (a + b) = −a + (a + c)
(−a + a) + b = (−a + a) + c
0+b=0+c
b = c.

21
La multiplicación por cero es cero

Teorema
0a = 0, para todo a ∈ F.

Demostración
Tenemos,

0a + 0a = (0 + 0)a
= 0a
= 0a + 0

Así que por la ley cancelativa,

0a = 0.

Observación
Salvo en las propiedades del operador suma, es hasta la prueba de este
corolario que hemos usado la propiedad distributiva.

22
Leyes de los signos

Teorema (Leyes de los signos)

Para todos a, b ∈ F,

(−a)b = a(−b) = −ab y (−a)(−b) = ab.

Demostración
(−a)b + ab = (−a + a)b
= 0b
= 0.

Por unicidad de los inversos aditivos, (−a)b es el inverso de ab, es decir,

(−a)b = −ab.

23
Leyes de los signos

Teorema (Leyes de los signos)

Para todos a, b ∈ F,

(−a)b = a(−b) = −ab y (−a)(−b) = ab.

Demostración
Por otro lado,
a(−b) = (−b)a
= −ba
= −ab.

24
Leyes de los signos

Teorema (Leyes de los signos)

Para todos a, b ∈ F,

(−a)b = a(−b) = −ab y (−a)(−b) = ab.

Demostración
Para la segunda igualdad,

(−a)(−b) = −a(−b)
= −(−ab)
= ab.

Observación
Las leyes de los signos dependen enteramente de la unicidad de los inversos
aditivos y de la propiedad distributiva.

25
Los Axiomas de Campo: Neutro para la multiplicación. Unicidad

6. Neutro para la multiplicación

Existe un elemento 1 ∈ F (el uno) tal que
• 1 ̸= 0, y
• 1a = a para todo a ∈ F.

Observación
Por conmutatividad, para todo a ∈ F,

1a = a = a1.

Teorema
Existe un único neutro para la multiplicación.

Demostración
Sean 1 y 1′ neutro para la multiplicación. Entonces

1′ = 1 · 1′ = 1.

26
Formas equivalentes del inverso aditivo

Teorema
−a = (−1)a = −1a, para todo a ∈ F.

Demostración
Tenemos,

0 = (1 − 1)a
= 1a + (−1)a
= a + (−1)a.

Por unicidad del inverso para la suma, se sigue

−a = (−1)a = −1a.

27
Otra demostración para una propiedad anterior

Teorema
Para todos a, b ∈ F,
−(a + b) = −a − b.

Demostración
Del teorema anterior y por la propiedad distributiva,

−(a + b) = (−1)(a + b)
= (−1)a + (−1)b
= −a − b.

28
Los Axiomas de Campo

7. Inversos multiplicativos
Para cada a ∈ F tal que a ̸= 0, existe un b ∈ F tal que ab = 1.

Observación
Si b es el inverso multilicativo de a ̸= 0, entonces b ̸= 0, y por
conmutatividad,
ab = 1 = ba.

Observación
b es el inverso multiplicativo de a ⇔ a es el inverso multiplicativo de b.

29
Los Axiomas de Campo

Teorema
Para cada a ∈ F, a ̸= 0, existe un único inverso multiplicativo.

Demostración
Sean b y b′ inversos multiplicativos para a, entonces

b = 1b
= (b′ a)b
= b′ (ab)
= b′ 1
= b′ .

30
Los Axiomas de Campo

Notación:

Si a ̸= 0, denotamos a−1 al inverso mutiplicativo de a.

Teorema
(a−1 )−1 = a, para todo a ̸= 0.

Demostración
(a−1 )−1 es el inverso de a−1 , y el inverso de a−1 es a. Así que por unicidad
de los inversos para la multiplicación,

a = (a−1 )−1 .

31
Axiomas de Campo

Teorema
1 = 1−1 .

Demostración

1 · 1 = 1.

Así que por unicidad de los inversos multiplicativos,

1 = 1−1 .

¿Cierto o Falso?

Si a = a−1 entonces a = 1.

32
Axiomas de Campo

Teorema (Ley Cancelativa)

Para todos a, b, c ∈ F, a ̸= 0, si ab = ac entonces b = c.

Demostración

ab = ac
a (ab) = a−1 (ac)
−1

(a−1 a)b = (a−1 a)c

1b = 1c
b = c.

33
Axiomas de Campo

Teorema
Para todos a, b ∈ F,

ab = 0 si y sólo si a = 0 ó b = 0.

Demostración
Supongamos que ab = 0 y a ̸= 0, entonces

b = 1b
= (a−1 a)b
= a−1 (ab)
= a−1 0
= 0.

34
Axiomas de Campo

Teorema
Para todos a, b ∈ F, (ab)−1 = a−1 b−1 .

Demostración

(ab)a−1 = (ba)a−1
= b(aa−1 )
= b,

de donde

(ab)(a−1 b−1 ) = ((ab)a−1 )b−1

= bb−1
= 1.

Así que por unicidad de los inversos multiplicativos

(ab)−1 = a−1 b−1 . 35

Axiomas de Campo

Teorema
(−a)−1 = −a−1 , para todo a ∈ F.

Demostración

36
Axiomas de Campo

The metropolis theme is a Beamer theme with minimal visual noise inspired
by the hsrm Beamer Theme by Benjamin Weiss.

Enable the theme by loading

\documentclass{beamer}
\usetheme{metropolis}

Note, that you have to have Mozilla’s Fira Sans font and XeTeX installed to
enjoy this wonderful typography.

37
Sections

Sections group slides of the same topic

\section{Elements}

for which metropolis provides a nice progress indicator …

38
Titleformats
Metropolis titleformats

metropolis supports 4 different titleformats:

• Regular
• Smallcaps
• allsmallcaps
• ALLCAPS

They can either be set at once for every title type or individually.

39
Small caps

This frame uses the smallcaps titleformat.

Potential Problems
Be aware, that not every font supports small caps. If for example you typeset
your presentation with pdfTeX and the Computer Modern Sans Serif font,
every text in smallcaps will be typeset with the Computer Modern Serif font
instead.

40
all small caps

This frame uses the allsmallcaps titleformat.

Potential problems
As this titleformat also uses smallcaps you face the same problems as with
the smallcaps titleformat. Additionally this format can cause some other
problems. Please refer to the documentation if you consider using it.

As a rule of thumb: Just use it for plaintext-only titles.

41
ALL CAPS

This frame uses the allcaps titleformat.

Potential Problems
This titleformat is not as problematic as the allsmallcaps format, but
basically suffers from the same deficiencies. So please have a look at the
documentation if you want to use it.

42
Elements
Typography

The theme provides sensible defaults to

\emph{emphasize} text, \alert{accent} parts
or show \textbf{bold} results.

becomes

The theme provides sensible defaults to emphasize text, accent parts or show
bold results.

43
Font feature test

• Regular
• Italic
• SmallCaps
• Bold
• Bold Italic
• Bold SmallCaps
• Monospace
• Monospace Italic
• Monospace Bold
• Monospace Bold Italic

44
Lists

Items Enumerations Descriptions

• Milk 1. First, PowerPoint Meeh.
• Eggs 2. Second and Beamer Yeeeha.
• Potatos 3. Last.

45
Animation

• This is important
• Now this
• And now this

46
Animation

• This is important
• Now this
• And now this

46
Animation

• This is important
• Now this
• And now this

46
Animation

• This is really important

• Now this
• And now this

46
Figures

Figure 1: Rotated square from texample.net.

47
Tables

Table 1: Largest cities in the world (source: Wikipedia)

City Population

Mexico City 20,116,842

Shanghai 19,210,000
Peking 15,796,450
Istanbul 14,160,467

48
Blocks

Three different block environments are pre-defined and may be styled with
an optional background color.

Default Default
Block content. Block content.

Alert Alert
Block content. Block content.

Example Example
Block content. Block content.

49
Math

( )n
1
e = lim 1 +
n→∞ n

50
Line plots

0.5

−0.5

−1
−4 −2 0 2 4

51
Bar charts

25 lorem
ipsum
dolor

20
Bar

15

10

1 1.5 2 2.5 3 3.5 4

Foo

52
Quotes

Veni, Vidi, Vici

53
Frame footer

metropolis defines a custom beamer template to add a text to the footer. It

can be set via

\setbeamertemplate{frame footer}{My custom footer}

My custom footer 54
References

Some references to showcase [allowframebreaks] [?, ?, ?, ?, ?]

55
Conclusion
Summary

Get the source of this theme and the demo presentation from

github.com/matze/mtheme

The theme itself is licensed under a Creative Commons Attribution-ShareAlike

4.0 International License.

cb a

56
Questions?

56
Backup slides

Sometimes, it is useful to add slides at the end of your presentation to refer

to during audience questions.

The best way to do this is to include the appendixnumberbeamer package in

your preamble and call \appendix before your backup slides.

metropolis will automatically turn off slide numbering and progress bars for
slides in the appendix.
References I