Diferencia entre revisiones de «Precálculo/Introducción»
Contenido eliminado Contenido añadido
tabla de convenios y notaciones |
|||
Línea 18:
Carlos Oscar Rodríguez Leal.
'''<big>Convenios y notaciones.</big>'''
{| class="wikitable"
!Símbolo
!Se leé
!Significado
|-
|<math>:=</math>
|se define como
|símbolo de igualdad por definición
|-
|<math>\equiv</math>
|es equivalente a
|símbolo de equivalencia de números ó expresiones numéricas
|-
|<math>\rightarrow</math>
|entoces, por lo tanto, se deduce que
|símbolo lógico condicional o de implicación
|-
|<math>\leftrightarrow</math>
|si y solo si, solamente si, es equivalente a
|símbolo lógico bicondicional o de equivalencia de expresiones lógicas o proposiciones
|-
|<math>\in</math>
|pertenece
|
|-
|<math>\notin</math>
|no pertenece
|
|-
|<math>|</math> ó <math>:</math>
|tal que
|
|-
|<math>\forall</math>
|todo, para todo
|
|-
|<math>\{ \ldots \}</math>
|
|representa un conjunto, donde en lugar de puntos suspensivos se pone la regla de definición del conjuto
|-
|<math>\{ \}, \phi</math>
|conjunto vacío, fi
|representa al conjunto que no posee elementos
|-
|<math>\subset</math>
|es subconjunto de
|símbolo de subconjunto
|-
|<math>\supset</math>
|es superconjunto de
|símbolo de superconjunto
|-
|<math>\cup</math>
|unión
|símbolo de unión de conjuntos
|-
|<math>\cap</math>
|intersección
|símbolo de intersección de conjuntos
|-
|\
|menos
|símbolo de diferencia de conjuntos
|-
|<math>A^c</math>
|A complemento, ó complemento de A
|complemento del conjunto <math>A</math>
|-
|<math>\times</math>
|producto cartesiano de
|producto cartesiano de conjuntos
|-
|<math>(a,b)</math>
|a be
|par ordenado de elementos <math>a</math> y <math>b</math>
|-
|<math>f : A \rightarrow B</math>
|<math>f</math> de <math>A</math> a <math>B</math>
|función <math>f</math> cuyo dominio de definición es <math>A</math> y cuyo codominio es <math>B</math>
|-
|<math>a \mapsto f(a)</math>
|"a" a efe de "a"
|definición de una función
|-
|<math>f[A]</math>
|efe de A
|es el conjuto de todas las imágenes de elementos de A
|-
|<math>\circ</math>
|composición
|símbolo de composición de dos funciones
|-
|<math>f^{-1}</math>
|efe inversa
|representa la función inversa de la función <math>f</math>
|-
|<math>1_A</math>
|uno A
|función idéntica cuyo dominio es el conjunto <math>A</math>
|}
== Breve Definición Informal de los Sistemas Axiomáticos ==
Línea 44 ⟶ 147:
'''Definición 2.3. Especificación por extensión o enumeración.''' Cuando un conjunto es finito y consta de los <math>n</math> elementos <math>a_1 , a_2 , \ldots a_n</math>, entonces se puede expresar por la enumeración de todos sus elementos separados por comas y encerrados entre llaves: <math>A = \{ a_1 , a_2 , \ldots , a_n \}</math>.
'''Definición 2.4. Especificación por descripción.''' Si <math>P</math> es una propiedad y <math>a</math> un objeto, entonces <math>A = \{ x | P(x) \}</math> denota el conjunto de objetos que poseen la propiedad <math>P</math> (los elementos de <math>A</math>)
'''Ejemplo 2.1.'''
| |||