Diferencia entre revisiones de «Precálculo/Introducción»
Contenido eliminado Contenido añadido
Sin resumen de edición |
|||
Línea 145:
'''Definición 2.2. Elementos.''' Son los objetos que pertenecen a un conjunto.
Los conjuntos se simbolizan con letras mayúsculas y sus elementos con letras minúsculas. Si un elemento <math>a</math> pertenece a un conjunto <math>A</math>, lo representamos matemáticamente como <math>a \in A</math>, lo cual se
Un conjunto se puede especificar ya sea por extensión (o enumeración) o por descripción.
Línea 205:
'''Proposición 2.3. Propiedad transitiva.''' Si <math>A \subset B</math> y <math>B \subset C</math> entonces <math>A \subset C</math>.
'''Ejemplo 2.6.''' Tomemos al conjunto de todos los animales como nuestro universo (el reino animalia en biología). Entonces el conjunto de todos los leones es un subconjunto del conjunto de todos los felinos. A su vez el conjunto de todos los felinos es un subconjunto del conjunto de todos los mamíferos.
=== Operaciones con
'''Definición 2.10. Unión de conjuntos.''' La unión de dos conjuntos <math>A</math> y <math>B</math>, denotada como <math>A \cup B</math> es el conjunto compuesto de todos los elementos que pertenecen a <math>A</math> ó a <math>B</math>, es decir:
<math>A \cup B = \{ x : x \in A \ \or \ x \in B \}</math>. La unión de varios conjuntos (cero, uno, dos o más), representada como <math>\cup_i A_i</math>, es el conjunto conformado por todos los elemento que pertenecen a por lo menos uno de los conjuntos <math>A_i.</math>
'''Definición 2.11. Intersección de conjuntos.''' La intersección de dos conjuntos <math>A</math> y <math>B</math> es el conjunto de todos los elementos que pertenecen
<math>A \cap B = \{ x : x \in A \ \and \ x \in B \}</math>. La intersección de varios conjuntos (cero, uno, dos o más), simbolizada como <math>\cap_i A_i,</math> es el conjunto conformado por todos los elementos que pertenecen
'''Definición 2.12. Conjuntos disjuntos.''' Se dice que dos conjuntos <math>A</math> y <math>B</math> son disjuntos si no poseen elementos en común, i.e. <math>A \cap B = \phi</math>.
Línea 222:
<math>A \setminus B = \{ x : x \in A \and x \not \in B \}</math>.
'''Definición 2.14. Complemento de un conjunto.''' El complemento de un
<math>A^c = \{ x : x \not \in A \} = U \setminus A</math>.
Línea 228:
'''Ejemplo 2.7.''' Sea nuestro universo el conjunto de todos los animales de Villa Fantasía del ejemplo 2.1. Entonces tendremos lo siguiente:
# Sean <math>M := \{ x:</math> x es un mamifero<math>\}</math>
# Dados los siguientes subconjuntos de l conjunto universal de animales de Villa Fantasía: <math>B := \{ chango_1, caballo, tigre \},</math> <math>C = \{ chango_2,caballo,tigre \}</math>; entonces <math>B \cup C = \{ x | x</math> es un mamífero<math>\}</math>, <math>B \cap C = \{ caballo, tigre \}</math>, <math>B \backslash C = \{ chango_1 \}</math>, <math>B^c = \{ chango_2, guacamaya \}</math>
#
Línea 265 ⟶ 266:
donde el orden de los elementos del par sí importa, i.e. en general <math>(a,b) \not = (b,a)</math>.
'''Ejemplo 2.
'''Definición 2.16. Conjuntos producto generalizados.''' El concepto de conjunto producto puede generalizarse de manera natural para cualquier número finito de conjuntos. El conjunto producto de los conjuntos <math>A_1, A_2 \ldots , A_n</math>, representado como <math>A_1 \times A_2 \times \ldots \times A_n</math>, es el
<math>A_1 \times A_2 \times \ldots \times A_n = (a_1, a_2, \ldots , a_n) : a_i \in A_i \ \forall i = 1, \ldots , n</math>.
=== Funciones ===
'''Definición 2.17. Función.''' Una '''función''' ó '''aplicación''' es una relación o regla entre dos conjuntos ''A'' y ''B'' que asocia a cada elemento del
<math>f : A \rightarrow B</math>, Si a <math>a \in A</math> le corresponde el elemento <math>b \in B</math>, entonces podemos expresar dicha correspondencia como <math>b = f(a),</math> donde <math>f(a)</math> es la evaluación de <math>f</math> en <math>a</math>, por lo que otra forma de denotar a <math>f</math> es <math>a \mapsto f(a).</math>
Línea 286 ⟶ 287:
'''Definición 2.20. Gráfica de f:''' De las definiciones '''2.17''' y '''2.18''' concluimos que una función <math>f</math> se puede poner en correspondencia con un subconjunto del conjunto de todos los pares ordenados de su dominio ''A'' y de su codominio ''B'': <math>( f : A \rightarrow B ) \leftrightarrow \{ (a, f(a)) : a \in A \},</math> es decir, <math>f</math> queda perfectamente determinada por un único subconjunto de <math>A \times B</math>. Al conjunto <math>\{ (a, f(a)) : a \in A \}</math>se le llama '''gráfica de f'''.
'''Ejemplo 2.
{| class="wikitable"
!<math>x</math>
Línea 306 ⟶ 307:
|'''6.25'''
|}
'''Definición 2.21. Igualdad de funciones.''' Dos funciones <math>f,g:A \rightarrow B</math> son iguales, lo que se expresa como <math>f = g</math>, si <math>f(a) = g(a), \forall a \in A;</math> en caso contrario se dice que <math>f</math> y <math>g</math> son distintas, es decir si <math>\exist a \in A \ t.q. \ f(a) \neq f(b),</math> lo cual se representa como <math>f \neq g</math> (ver figura 4).
'''Definición 2.22. Función constante.''' Una función <math>f: A\rightarrow B</math> es constante si para algún <math>b_0</math> fijo, <math>b_0 \in B</math>, se tiene que<math>f(a) = b_0, \forall a \in A.</math>
'''Ejemplo 2.
'''Definición 2.23. Función composición.''' Dadas dos funciones <math>f: A \rightarrow B,\ g: B \rightarrow C, </math> una función <math>h : A \rightarrow C</math> se llamará función composición de <math>f</math> y <math>g</math> (en ese orden), lo cual se denota como <math>g \circ f</math>, si <math>\forall a \in A, h(a) = (g \circ f)(a) := g(f(a))</math>(ver Figura 6).
'''Definición 2.24. Restricción y prolongación de''' <math>f</math>. Sean <math>f: A \rightarrow B</math> y <math>C \subset A</math>. La restricción de <math>f</math> a <math>C,</math> simbolizada como <math>f|_C</math>, es la función definida como <math>f|_C : (C \subset A) \rightarrow B,</math> i.e. el dominio de <math>f|_C</math> queda restringido al subconjunto <math>C</math> de <math>A.</math> De igual forma, dada una función <math>g: C \rightarrow B</math>,
'''Nota 2.5.''' Dada la función composición <math>h = g \circ f,</math> con <math>f : A \rightarrow B</math> y <math>g : B \rightarrow C,</math> en general el dominio de <math>g</math> se restringe a un subconjunto <math>D \subset B</math> dado por la imagen de <math>f;</math> es decir <math>f[A] = D \subset B</math> será el dominio restringido de <math>g</math> (ver Figura 6).
Línea 357 ⟶ 358:
'''Ejemplo 3.2.''' Sea <math>\mathbb{N}</math> dotado con la operación de sustracción "<math>-</math>", dicha operación no es cerrada, pues por ejemplo <math>1-2</math> no está definido en <math>\mathbb{N}</math>, ya que <math>1-2 = -1 \notin \mathbb{N}.</math>
'''Definición 3.3. Estructura algebraica.''' Una estructura algebraica es un par ordenado <math>(A, (*,\circ,\star,\ldots)),</math> siendo <math>A</math> un conjunto y <math>(*,\circ,\star)</math>
'''Definición 3.4. Grupo.''' Un ejemplo de estructura algebraica es el grupo <ref>Números, grupos y anillos. José Dorronsoro. Eugenio Hernández. Addison-Wesley/Universidad Autónoma de Madrid. España. 1996</ref>, el cual se define como el par <math>(G, *),</math> donde <math>G</math> es un conjunto y <math>*</math> una operación binaria definida en <math>G</math> que cumple con las siguientes propiedades:
# Asociatividad: <math>\forall a,b,c \in G, (a*b)*c = a*(b*c)</math>i.e. podemos escribir simplemente <math>a*b*c</math>, omitiendo el uso de paréntesis innecesarios.
# Existencia del elemento neutro: <math>\exist e \in G \ t.q. \forall a \in G, \ a+e = e+a = a.</math> Al elemento <math>e</math> se le llama elemento neutro o elemento identidad.
# Existencia del elemento inverso: <math>\forall a \in G \ \exist b \in G, t.q. a*b = b*a = e.</math> El elemento inverso se suele representar como <math>a^{-1}.</math>
'''Definición 3.5. Grupo abeliano.''' Un grupo abeliano o grupo conmutativo es un grupo que también cumple con la siguiente propiedad:
* Conmutatividad: <math>\forall a, b \in G, a*b = b*a.</math>
Línea 368 ⟶ 369:
'''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> (asociatividad).
# <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> (elemento identidad).
# <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> (elemento inverso).
# <math>\forall m, n \in \mathbb{Z}, m+n = n+m</math> (conmutatividad).
'''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>".
Línea 390 ⟶ 391:
# Existencia del elemento inverso.
# Conmutatividad.
* Además, para las operaciones <math>+</math> y <math>\cdot</math> combinadas tendremos una
# <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 399 ⟶ 400:
'''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. Construcción de los números naturales.''' El conjuto vacío es equipotente
El conjunto de los naturales mas el número cero: <math>\mathbb{N}_0 \equiv \mathbb{N} \cup \{0\} = \{ 0,1,2,3,4,5, \ldots , \}</math> dotado de la operación binaria de la adición se representa como el par ordenado <math>( \mathbb{N}_0 , + )</math> y poseé las siguientes propiedades:
Línea 410 ⟶ 411:
'''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 = \{ \}
# La cardinalidad del conjunto de los números naturales es infinita: #<math>\mathbb{N} </math> es infinita.
'''Construcción de los números enteros.'''
|