1 Grupos

Definición 1:(X, ?) es un semigrupo si X es un conjunto y ? una operación

binaria, asociativa sobre X.

Definición 2: Sean G un conjunto y ?:G×G→G una operación binaria. Deci-

mos que el par (G, ?) es un grupo si:

(1) ∀a, b, c ∈ G, a ? (b ? c) = (a ? b) ? c
(2) ∃e ∈ G tal que ∀a ∈ G, a ? e = a = e ? a

(3) ∀a ∈ G ∃b
a ∈ G tal que a ? b
a=e=b
a?a

Se dice que (G, ?) es un grupo abeliano si cumple con una cuarta propiedad:

(4) ∀a, b ∈ G, a ? b = b ? a

Definición 3: Un campo es una terna (k, σ, π) tal que:

(1) (k, σ) es un grupo abeliano.

(2) (k\{b
0}, π) es un grupo abeliano.
(3) ∀a, b ∈ k, a π (b σ c) = (a π b) σ (a π c)

2 Espacios vectoriales
0, k, π : k × V → V )
Definición 4: Un espacio vectorial es una quinteta (V, σ, b
que cumple con las siguientes propiedades:

(1) (k, +, · ) es un campo.

(2) (V, σ) es un grupo abeliano.
(3) La función π : k × V → V cumple que:

(a) ∃1̃ ∈ k tal que ∀v ∈ V, 1̃ π v = v

(b) ∀a, b ∈ k ∀v ∈ V , (a · b) π v = a π (b π v)
(c) ∀a, b ∈ k ∀v ∈ V , (a + b) π v = (a π v) σ (b π v)
(d) ∀a ∈ k ∀v, w ∈ V , a π (v σ w) = (a π v) σ (a π w)

Cuando sea claro como están definidas las operaciones, denotarémos a la

quinteta como k V . Además, a los elementos de V les llamarémos vectores, y a
los de k escalares.

1
 Definición 5: Sean k V un espacio vectorial y W⊆ V . Diremos que W es
subespacio de V si k W es espacio vectorial con una restricción en las operaciones
definidas:
(1) σ : W × W → W

(2) π : k × W → W

Teorema 1: Sean kV un espacio vectorial y W⊆V. Son equivalentes:

(1) W es subespacio de k V
(2) W cumple que:
0∈W
(a) El vector b
(b) ∀a, b ∈ W se tiene que (a σ b) ∈ W .
(c) ∀α ∈ k ∀b ∈ W se tiene que (α π b) ∈ W .

Si F es un conjunto entonces decimos que F es un sistema o familia de con-

juntos si sus elementos son conjuntos.

Definición 6: Sea F una familia no vacı́a de conjuntos. Definı́mos:

(a) La intersección de la familia F como:

\ A
\
F = = {x : ∀A ∈ F , x ∈ A}
A∈F

(b) La unión de la familia F como:

[ A
[
F = = {x : ∃A ∈ F , x ∈ A}
A∈F

Teorema 2: Sea k V un espacio vectorial, y E una familia de subespacios de

k V , entonces:
\
E es subespacio vectorial de k V

Definición 7: Tomemos ∼ una relación en un conjunto A. Si la relación cumple

con ser reflexiva (1), transitiva (2) y antisimétrica (3), decı́mos que es una
relacion de orden. En ese caso, al par (A, ∼) le llamamos conjunto parcialmente
ordenado (COPO).

(1) ∀a ∈ A, a ∼ a

2
 (2) ∀a, b, c ∈ A : (a ∼ b) ∧ (b ∼ c) ⇒ (a ∼ c)
(3) ∀a, b ∈ A : (a ∼ b) ∧ (b ∼ a) ⇒ (a = b)

Sean k V un espacio vectorial y B la familia de subespacios de k V . Definı́mos

en B la siguiente relación:

W1 ≤ W2 ⇔ W1 es subespacio de W2

Teorema 3: (B, ≤) es COPO.

Sean W1 , W2 , W3 ∈ B

(1) P.D. W1 ≤ W1
Prueba:
Como W1 ⊆ W1 y W1 es un espacio vectorial con las mismas opera-
ciones que W1 , por definición 5 se sigue que W1 ≤ W1 .
(2) P.D. (W1 ≤ W2 ) ∧ (W2 ≤ W3 ) ⇒ (W1 ≤ W3 )
Prueba:
Como W1 ≤ W2 se sigue que W1 ⊆ W2 y W1 es espacio vectorial.
De la misma forma, como W2 ≤ W3 entonces W2 ⊆ W3 . Luego
W1 ⊆ W2 ⊆ W3 . Ası́, como W1 ⊆ W3 y W1 es espacio vectorial por
definición 5 tenemos que W1 ≤ W3 .
(3) P.D. (W1 ≤ W2 ) ∧ (W2 ≤ W1 ) ⇒ (W1 = W2 )
Prueba:
Como W1 ≤ W2 entonces W1 ⊆ W2 . De la misma forma W2 ≤ W1
implica W2 ⊆ W1 . Luego, por axioma de extensión se tiene que
W1 = W2 .

De (1), (2) y (3) concluı́mos que (B, ≤) es COPO.

Teorema 4: Sean k V un espacio vectorial, B la familia de los subespacios

de k V y S ⊆ V . Definimos a G ⊆ B como:

G = {W ≤ k V : S ⊆ W }

Entonces se cumple que: \

G = min(G )
Al subespacio exhibido en el teorema anterior, se le conoce como el generado
por S, pues es el mı́nimo subespacio que contiene a S, y se denota como:
\
L(S) = G