Diferencia entre revisiones de «Precálculo/Introducción»
Contenido eliminado Contenido añadido
Estructuras algebraicas |
|||
Línea 360:
'''Ejemplo 3.3.''' La estructura algebraica <math>(\mathbb{N}, +)</math> no es un grupo, pues aunque en <math>\mathbb{N}</math> sí se cumple la propiedad 1. de los grupos así como la conmutatividad, ahí no existen ni el elemento identidad ni el elemento inverso de ningún número natural.
'''Ejemplo 3.4.''' La estructura algebraica <math>(\mathbb{Z},+)</math>, donde <math>\mathbb{Z} = \{\ldots ,-3,-2,-1,0,1,2,3, \ldots \}</math> es el conjunto de los números enteros, y <math>+</math> es la operación de adición usual, es un grupo abeliano, ya que la operación es cerrada, por ejemplo <math>-2+1 = -1 \in \mathbb{Z}</math>, y además:
# <math>\forall l, m, n \in \mathbb{Z}, (l+m)+n = l+(m+n)=l+m+n
# <math>\exist 0 \in \mathbb{Z} \ t.q. \forall m \in \mathbb{Z}, 0+m = m+0 = m.</math>Por ejemplo, <math>3+0 = 0+3 = 3
# <math>\forall m \in \mathbb{Z} \ \exist -m \in \mathbb{Z}, t.q. m + -m = -m + m = 0.</math>Por ejemplo, <math>-2 + 2 = 2 + -2 = 0
# <math>\forall m, n \in \mathbb{Z}, m+n = n+m
'''Ejemplo 3.5.''' La estructura algebraica <math>(\mathbb{Z},*)</math>, donde <math>*</math> se define de la siguiente forma: <math>m*n = 2 + (m + n),</math> siendo la operación "<math>+</math>" la operación binaria de adición usual, es evidentemente cerrada para <math>*</math>; además:
# <u>Asociatividad</u>:<math>\forall l, m, n \in \mathbb{Z}, (l*m)*n = 2 + (2 + l + m) + n = 2 + 2 + l + m + n = 2 + l + 2 + m + n = 2 + l + (2 + m + n) = l*(m*n),</math>donde hemos usado las propiedades asociativa y conmutativa de la operación adición "<math>+</math>".
# <u>Elemento identidad</u>:<math>\exist -2 \in \mathbb{Z} \ t.q. \forall m \in \mathbb{Z}, -2*m = 2 + (-2+m) = (2+ -2) + m = m = 2 + -2 + m =2 +m +-2 = 2 + (m+-2) = m*(-2),</math>donde utilizamos nuevamente las propiedades asociativa y conmutativa de la adición.
# <u>Elemento inverso</u>:<math>\forall m \in \mathbb{Z} \ \exist -(m+4) \in \mathbb{Z}, t.q. m * [-(m+4)] = 2+m+ -(m+4) = 2 + m + -m +-4 = 2+(m+-m)+-4 = 2+-4 = -2,</math>donde una vez más se han utilizado las propiedades asociativa y conmutativa, además de la existencia del elemento inverso en <math>\mathbb{Z}</math>, así como la propiedad <math>-(m+n) = -m+-n,</math>la cual se demostrará más adelante (siendo en este caso <math>n = 4</math>). Solo falta demostrar la otra igualdad, es decir, que <math>-(m+4)*m = -2,</math> lo cual se deja como ejercicio en la sección de problemas.
# <u>Conmutatividad</u>:<math>\forall m, n \in \mathbb{Z}, m*n = 2+(m+n) =2+(n+m) = n*m,</math>en donde otra vez hemos utilizado la propiedad conmutativa.
Por lo tanto, al ser "<math>*</math>" cerrada y cumplirse las cuatro propiedades anteriores, vemos que la estructura <math>(\mathbb{Z},*)</math> de hecho es un grupo abeliano.
'''Definición 3.6. Campo.''' Un campo (o cuerpo) es una terna <math>(F,+,\cdot)</math>, donde <math>F</math> es un conjunto, y <math>+</math> y <math>\cdot</math> son dos operaciones binarias abstractas sobre <math>F</math> llamadas adición y multiplicación, respectivamente, que cumplen con las siguientes propiedades (además de las obvias cerraduras):
* Para la adición: <math>(F,+)</math> es un grupo abeliano, es decir, se cumplen las propiedades siguientes:
# Asociatividad.
# Existencia del elemento identidad o neutro.
# Existencia del elemento inverso.
# Conmutatividad.
* Para la multiplicación: <math>(F,\cdot)</math> es también un grupo abeliano, es decir, tendremos las siguientes propiedades:
# Asociatividad.
# Existencia del elemento identidad o neutro.
# Existencia del elemento inverso.
# Conmutatividad.
* Además, para las operaciones <math>+</math> y <math>\cdot</math> combinadas tendremos una propieadad más: <math>(F,+,\cdot)</math> satisface la propiedad distributiva:
# <math>\forall a, b , c \in F, \ a\cdot(b+c) = a\cdot b + a \cdot c</math> (distributividad por izquierda) y <math>(b+c)\cdot a = b \cdot a + c\cdot a</math> (distributividad por derecha).
[[File:Plano Cartesiano3.jpg|thumb|Figura 1. Plano Cartesiano]]
Línea 379 ⟶ 392:
'''Definición 3.1. Sucesión fundamental de conjuntos.''' La sucesión de conjuntos finitos: <math>\{ \}, \{a\}, \{a, b\}, \{a, b, c\}, \{a, b, c, d\}, \ldots</math>, en la cual comenzamos con el conjunto vacío y cada conjunto posterior al conjunto vacío tiene un elemento más que el inmediatamente anterior, representa la sucesión fundamental de los conjuntos finitos <ref>Aritmética Teórico Práctica. Aurelio Baldor. Cultural Centroamericana, S.A. Guatemala. 1974</ref>. Es claro que en esta sucesión no existen dos conjuntos distintos que sean equipotentes, por lo que dado un conjunto finito cualquiera, éste es coordinable con uno y solo un conjunto de la sucesión.
'''Definición 3.2.
# '''Asociatividad:''' <math>\forall m,n,p \in \mathbb{N}_0</math> se tiene que <math>(m+n)+p = m+(n+p)</math>.
# '''Conmutatividad:''' <math>\forall m,n \in \mathbb{N}_0</math> resulta que <math>m+n=n+m</math> (el orden de los sumandos no altera la suma).
# '''Existencia del elemento neutro o identidad''' (bajo la adición): <math>\forall m \in \mathbb{N}_0 \ \exists \ 0 \in \mathbb{N}_0 : m + 0 = 0 + m = m</math>.
'''Definición 3.3. Cardinalidad de conjuntos.''' La cardinalidad de un conjunto <math>A </math> es la cantidad de elementos que contiene dicho conjunto, donde, si es un conjunto finito, se define formalmente como el número perteneciente a <math>\mathbb{N}_0</math> que asociamos con el elemento de la sucesión fundamental que es coordinable con dicho conjunto <math>A</math>; y se simboliza como #<math>A </math>.
'''Ejemplo 3.1.'''
# El conjunto de animales de Villa Fantasía del ejemplo '''2.1''' es finito y consta <math>5 </math> animales: #<math>A = 5 </math>.
# El conjunto de todos los leones de Villa Fantasía (<math>L </math>) es vacío, ya que en Villa Fantasía no tiene leones: <math>L = \{ \} \equiv \phi \rightarrow </math>#<math>L = 0 </math>.
# La cardinalidad del conjunto de los números naturales es infinita: #<math>\mathbb{N} </math> es infinita.
'''Construcción de los números enteros.'''
== Referencias Bibliográficas. ==
|