Documentos de Académico
Documentos de Profesional
Documentos de Cultura
AL1 Campos PDF
AL1 Campos PDF
Campos
1. Axiomas de Campo
2. Titleformats
3. Elements
4. Conclusion
1
Axiomas de Campo
Los Axiomas de Campo: Suma y Multiplicación
(a, b) ∈ F2 = F × F,
2
Los Axiomas de Campo: Leyes Conmutativas y Leyes Asociativas
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
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
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
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
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
Demostración
Tenemos así,
a1 + a2 + a3 = a1 + a3 + a2 = a3 + a1 + a2 .
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
∑
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.
∑
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.
∑
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
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
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
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
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.
−b − a = −(a + b).
20
Ley Cancelativa
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
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
Demostración
(−a)b + ab = (−a + a)b
= 0b
= 0.
(−a)b = −ab.
23
Leyes de los signos
Demostración
Por otro lado,
a(−b) = (−b)a
= −ba
= −ab.
24
Leyes de los signos
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
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.
−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:
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.
1 = 1−1 .
¿Cierto o Falso?
Si a = a−1 entonces a = 1.
32
Axiomas de Campo
Demostración
ab = ac
a (ab) = a−1 (ac)
−1
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
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.
\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
\section{Elements}
38
Titleformats
Metropolis titleformats
• Regular
• Smallcaps
• allsmallcaps
• ALLCAPS
They can either be set at once for every title type or individually.
39
Small caps
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
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.
41
ALL CAPS
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
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
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
46
Figures
47
Tables
City Population
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
52
Quotes
53
Frame footer
My custom footer 54
References
55
Conclusion
Summary
Get the source of this theme and the demo presentation from
github.com/matze/mtheme
cb a
56
Questions?
56
Backup slides
metropolis will automatically turn off slide numbering and progress bars for
slides in the appendix.
References I