Apéndice D: Lista de símbolos
- Page ID
- 116056
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)
| Símbolo | Significado |
| \(\to\) | Declaración condicional |
| \(\mathbb{R}\) | conjunto de números reales |
| \(\mathbb{Q}\) | conjunto, de, racional, números |
| \(\mathbb{Z}\) | conjunto de enteros |
| \(\mathbb{N}\) | conjunto, de, natural, números |
| \(y \in A\) | \(y\)es un elemento de\(A\) |
| \(z \notin A\) | \(z\)no es un elemento de\(A\) |
| {|} | notación de generador de conjuntos |
| \(\forall\) | cuantificador universal |
| \(\exists\) | cuantificador existencial |
| \(\emptyset\) | el conjunto vacío |
| \(\wedge\) | conjunción |
| \(vee\) | disyunción |
| \(\urcorner\) | negación |
| \(\leftrightarrow\) | declaración bicondicional |
| \(\equiv\) | lógicamente equivalente |
| \(m\ |\ n\) | \(m\)divide\(n\) |
| \(a \equiv b\)(mod\(n\)) | \(a\)es congruente a\(b\) módulo\(n\) |
| \(|x|\) | el valor absoluto de\(x\) |
| \(A = B\) | \(A\)equals\(B\) (establecer igualdad) |
| \(A \subseteq B\) | \(A\)es un subconjunto de\(B\) |
| \(A \not\subseteq B\) | \(A\)no es un subconjunto de\(B\) |
| \(A \subset B\) | \(A\)es un subconjunto apropiado de\(B\) |
| \(\mathcal{P}(A)\) | conjunto de potencia de\(A\) |
| \(|A|\) | cardinalidad de un conjunto finito\(A\) |
| \(A \cap B\) | intersección de\(A\) y\(B\) |
| \(A^{c}\) | complemento de\(A\) |
| \(A - B\) | establecer la diferencia de\(A\) y\(B\) |
| \(A \times B\) | Producto cartesiano\(A\) de\(B\) |
| \((a, b)\) | par ordenado |
| \(\mathbb{R} \times \mathbb{R}\) | Plano cartesiano |
| \(\mathbb{R}^2\) | Plano cartesiano |
| \(\bigcup_{X \in \mathcal{C} X\) | unión de una familia de conjuntos |
| \(\bigcap_{X \in \mathcal{C} X\) | intersección de una familia finita de conjuntos |
| \(\bigcup_{j = 1}^{n} A_j\) | unión de una familia finita de conjuntos |
| \(\bigcap_{j = 1}^{n} A_j\) | intersección de una familia finita de conjuntos |
| \(\bigcup_{j = 1}^{\infty} B_j\) | u nion de una familia infinita de conjuntos |
| \(\bigcap_{j = 1}^{\infty} B_j\) | intersección de una familia infinita de conjuntos |
| \(\{A_{\alpha}\ |\ \alpha \in \Lambda\}\) | familia de conjuntos indexados |
| \(\bigcup_{\alpha \in \Lambda} A_{\alpha}\) | unión de una familia indexada de conjuntos |
| \(\bigcap_{\alpha \in \Lambda} A_{\alpha}\) | intersección de una familia de conjuntos indexados |
| \(n!\) | \(n\)factorial |
| \(f_1, f_2, f_3, ...\) | Números de Fibonacci |
| \(s(n)\) | suma de los divisores de\(n\) |
| \(f: A \to B\) | función de\(A\) a\(B\) |
| dom (\(f\)) | dominio de la función\(f\) |
| codom (\(f\)) | codmain de la función\(f\) |
| \(f(x)\) | inage de\(x\) menores\(f\) |
| rango (\(f\)) | rango de la función\(f\) |
| \(d(n)\) | número de divisores de\(n\) |
| \(I_{A}\) | función de identidad en el conjunto\(A\) |
| \(p_1, p_2\) | funciones de proyección |
| det\((A)\) | determinante de\(A\) |
| \(A^{T}\) | transposición de\(A\) |
| det:\(M_{2, 2} \to \mathbb{R}\) | función determinante |
| \(g \circ f: A \to C\) | composición de la función\(f\) y\(g\) |
| \(f^{-1}\) | la inversa de la función\(f\) |
| Pecado | la función sinusoidal restringida |
| Pecado\(^{-1}\) | la función sinusoidal inversa |
| dom (\(R\)) | dominio de la relación\(R\) |
| rango (\(R\)) | rango de la relación\(R\) |
| \(x\ R\ y\) | \(x\)está relacionado con\(y\) |
 |
\(x\)no está relacionado con\(y\) |
| \(x \sim y\) | \(x\)está relacionado con\(y\) |
| \(x \nsim y\) | \(x\)no está relacionado con\(y\) |
| \(R^{-1}\) | la inversa de la relación\(R\) |
| \([a]\) | clase de equivalencia de\(a\) |
| \([a]\) | clase de congruencia\(a\) |
| \(\mathbb{Z}_{n}\) | los enteros módulo\(n\) |
| \([a] \oplus [c]\) | además en\(\mathbb{Z}_{n}\) |
| \([a] \odot [c]\) | multiplicación en\(\mathbb{Z}_{n}\) |
| gcd (\(a\),\(b\)) | mayor divisor común de\(a\) y\(b\) |
| \(f(A)\) | imagen de\(A\) debajo de la función\(f\) |
| \(f^{-1}(C)\) | pre-imagen de\(C\) debajo de la función\(f\) |
| \(A \thickapprox B\) | \(A\)es equivalente\(B\) \(A\) y\(B\) tiene la misma cardinalidad |
| \(\mathbb{N}_{k}\) | \(\mathbb{N}_{k} = \{1, 2, ..., k\}\) |
| tarjeta\((A) = k\) | cardinalidad de\(A\) es\(k\) |
| \(aleph_{0}\) | cardinalidad\(\mathbb{N}\) |
| \(c\) | número cardinal del continuum |