Diferencia entre revisiones de «Precálculo/Introducción»

Contenido eliminado Contenido añadido
Misifu17 (discusión | contribs.)
Sin resumen de edición
Misifu17 (discusión | contribs.)
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 leélee: "a pertenece a A"; y si un elemento <math>b</math> no pertenece a un conjunto <math>A</math>, lo expresamos como <math>b \not\in A</math> y lo leemos como: "b no pertenece a A".
 
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. ENEn consecuencia podemos afirmar que el conjunto de todos los leones es un subconjunto del conjunto de todos los mamíferos.
 
=== Operaciones con conjutosconjuntos. ===
'''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 simultaneamentesimultáneamente a <math>A</math> y a <math>B</math>:
 
<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 simultaneamentesimultáneamente a cada conjunto <math>A_i.</math>
 
'''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 conjutoconjunto <math>A</math>, representado como <math>A^c</math>, es el conjutoconjunto conformado por todos los elementos que no pertenecen a <math>A</math>, respecto al conjunto universal:
 
<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> \cupy <math>V = \{y : y</math> es un ave<math>\}</math>, entonces <math>M \cup V = U,</math>, es decir, el conjunto universal de todos los animales de Villa Fantasía. Además <math>M \cap V = \phi</math>, i.e. <math>M</math> y <math>V</math> son disjuntos.
# 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.68. El plano cartesiano.''' Cuando <math>A = B = \mathbb{R}</math> los pares ordenados <math>(a,b)\in \mathbb{R} \times \mathbb{R}</math> se representan gráficamente como puntos o coordenadas en el plano cartesiano (ver Figura 1).
 
'''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 conjutoconjunto de todas las '''n-adas''' ó '''n-uplas''' de elementos de cada conjunto respectivo, i.e.
 
<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 conjutoconjunto ''A'' un "<u>único</u>" elemento del conjutoconjunto ''B, y se denota por''
 
<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.79. Función cuadrática.''' La función <math>f: \mathbb{R} \rightarrow \mathbb{R}, \ x \mapsto f(x) = x^2</math>que asigna a cada número real su cuadrado, es decir, <math>y = f(x) = x^2,</math> tiene como dominio y codominio a <math>\mathbb{R}</math>, sin embargo posee como imagen o rango a los reales positivos mas el cero, es decir: <math>\mathbb{R}^+ \cup \{0\}</math>. Además, se ´presenta a continuación una tabla donde se evalúa a <math>f</math> en algunos valores y se muestra su gráfica (ver Figura 3).
{| 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.810. Función constante.''' La función de variable real <math>f: \mathbb{R} \rightarrow \mathbb{R},</math> definida como <math>x \mapsto f(x) = 1,</math>es una función constante (ver Figura 5).
 
'''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>, ysi definimos alguna <math>f : A \rightarrow B</math>, con <math>A \supset C</math>, tal que <math>f|_C = g,</math> entonces se dice que <math>f</math> es una prolongación de <math>g.</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> unaun conjunto de operaciónoperaciones binariabinarias definidadefinidas sobre <math>A</math> que cumplecumplen con una lista de propiedades. LasLa cantidad de operaciones binarias así como las propiedades partícularesparticulares que se cumplan determinará el tipo de estructura algebraica.
 
'''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 propieadadpropiedad 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 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 con sigoconsigo mismo. Además, todo conjunto de un elemento ha de ser equipotente con el segundo elemento de la sucesión. De la misma forma todo conjunto de dos elementos es equipotente con el tercer elemento de la sucesión. Y así sucesivamente. Por lo tanto, los conceptos abstractos de uno, dos, tres, ..., representan la propiedad común a todos los conjuntos coordinables con algún elemento de la sucesión fundamental (a partir de su segundo elemento) y por lo tanto coordinables entre sí. Así pues, un número natural es un concepto abstracto que representa cierta propiedad común a todos los conjuntos coordinables entre sí y que no son el conjunto vacío. A los números naturales los denotamos como <math>\mathbb{N} := \{ 1, 2, 3 , 4, 5, \ldots \},</math> donde el elemento <math>i</math>-ésimo representa a todos los conjuntos equipotentes con el elemento <math>(i+1)</math>-ésimo de la sucesión, es decir, los números naturales son una medida de la cantidad de elementos de un conjunto finito dado, al compararlo con su respectivo conjunto equipotente de la sucesión fundamental. También podemos definir una extensión de los números naturales, dada por <math>\mathbb{N}_0 := \{0,1,2,3,4,5,\ldots\} = \mathbb{N} \cup \{0\},</math>donde el número cero, simbolizado como <math>0</math>, representa al conjunto vacío, i.e. es una medida del conjunto sin elemetos, una medida de la "nada".
 
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 = \{ \} \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.'''