Академический Документы
Профессиональный Документы
Культура Документы
ÍNDICE.-
1) DEFINICIÓN AXIOMÁTICA DE .-
2) ADICIÓN EN .-
3) MULTIPLICACIÓN EN .-
4) ORDEN EN .-
5) SISTEMAS DE NUMERACIÓN.-
1) DEFINICIÓN AXIOMÁTICA DE .-
- Construcción desde el punto de vista axiomático del conjunto de los números naturales:
a) 0 ∈ A.
b) x ∈ A => x´ ∈ A.
entonces, A =
Estos axiomas son independientes.
- Teorema.- Sean x,y ∈ se cumplen las tres condiciones siguientes:
a) x ≠ y => x´≠ y´
b) ∀ x ∈ , x´ ≠ x
c) Si x ≠0, entonces ∃° u ∈ tal que u´= x.
2) ADICIÓN EN .-
- ( ,+) es un “semigrupo” abeliano con elemento neutro.
x → (“Suma interna“)
(x,y) → x+y
a) x + 0 = x , ∀ x ∈ .
b) x + y´= ( x + y ) ´, ∀ x, y ∈ .
- Teorema.-
a) Fijado x ∈ , hay a lo sumo una forma de definir x + y, ∀ y ∈ , de tal modo que
se verifiquen a) y b) de la definición.
b) Para cada x ∈ es posible definir x + y, ∀ y ∈ , de tal modo que se verifiquen
a) y b).
- Propiedad 6.- Para todo par de números naturales x, y se verifica “uno y sólo uno“ de
los siguientes apartados :
a) x = y
b) ∃° u ∈ -{0} tal que x = y + u
c) ∃° v ∈ -{0} tal que y = x + v
3) MULTIPLICACIÓN EN .-
- ( , . ) es un “semigrupo” abeliano con elemento unidad.
- Definición.-. : x →
(x,y) → x . y ≡ xy
a) x . 0 = 0, ∀ x ∈ .
b) x . y´= x . y + x , ∀ x, y ∈ .
c)
- Teorema.-
a) ∀ x ∈ , existe a lo sumo una forma de definir x.y, ∀ x,y ∈ tal que se verifiquen
a) y b).
b) Es posible definir x . y de modo que se verifiquen a) y b)
4) ORDEN EN .-
- Definición.- Sean x , y ∈ , entonces:
a) Si ∃ u ≠ 0 tal que x = y + u , entonces x > y
b) Si ∃ v ≠ 0 tal que y = x + v, entonces x < y, por ello, sólo se podrá dar una de las
siguientes opciones: x = y , x > y ó x < y.
- Definición.-
a) x ≤ y <=> x < y ó x = y
b) x ≥ y <=> x > y ó x = y
- Propiedades de la relación ≤ :
Propiedad 1.-
a) Es reflexiva: x ≤ x ∀ x ∈
b) Es antisimétrica: Si x ≤ y e y ≤ x entonces x = y ∀ x ,y ∈
c) Es transitiva: Si x ≤ y e y ≤ z, entonces x ≤ z ∀ x ,y, z ∈
Propiedad4.-
a) x ≤ y , z ≤ t => x + z ≤ y + t “ El orden es compatible con la suma “
b) 0 ≤ x , ∀ x ∈
c) x < y => x´ ≤ y
d) x < y´=> x ≤ y
Propiedad 5.-
a) x < y => x . z < y . z ; x > y => x . z > y . z , ∀ z ∈ -{0}
b) x = y => x . z = y . z ; x ≤ y => x . z ≤ y . z ,∀ z ∈ -{0}
Propiedad 6.-
a) x . z < y . z => x < y ; x . z > y . z => x > y , ∀ z ∈ -{0}
b) x . z = y . z => x = y ; x . z ≤ y . z => x ≤ y , ∀ z ∈ -{0}
5) SISTEMAS DE NUMERACIÓN.-
- Ejemplo.- Base 4 :
0 1 2 3 unidades de 1º orden
10 11 12 13 unidades de 2º orden
100 101 102 103 unidades de 3º orden
……………………………
- Teorema fundamental de la numeración.- ( Representación en base n de un nº natural m
∈ )
Sea m ∈ , se puede expresar de forma única:
Ejemplo.-
145 = 12101 en base 3
- Propiedades.- ∀ m ∈ :