Elemento cero

Para otros usos de este término, véase cero.

En matemáticas, un elemento cero (o también elemento nulo) es una de las varias generalizaciones del número cero a otras estructuras algebraicas. Estos significados alternativos pueden ser o no coincidentes, según el contexto.

Identidades aditivas

Una identidad aditiva queda identificada con el elemento neutro en un grupo aditivo. Corresponde al elemento 0 tal que para todo x del grupo, 0 + x = x + 0 = x. Algunos ejemplos de identidad aditiva incluyen:

• El vector cero^[1]​^[2]​^[3]​ respecto a la adición de vectores: el vector de longitud 0 y cuyos componentes son todos 0. A menudo se indica como ${\displaystyle \mathbf {0} }$  o ${\displaystyle {\vec {0}}}$ .
• La función cero o aplicación cero definida por z(x) = 0, respecto a la suma puntual (f + g)(x) = f(x) + g(x)
• El conjunto vacío con respecto a la unión de conjuntos
• Una suma vacía o coproducto vacío^[4]​
• Un objeto inicial en una categoría (un coproducto vacío y, por lo tanto, una identidad con respecto a los coproductos)

Elementos absorbentes

Un elemento absorbente en un semigrupo o semianillo multiplicativo generaliza la propiedad 0 ⋅ x = 0. Entre los ejemplos se incluyen:

• El conjunto vacío,^[5]​ que es un elemento absorbente con respecto al producto cartesiano de conjuntos, ya que { } × S = { }
• La función cero o aplicación cero definida por z(x) = 0 en la multiplicación puntual (f ⋅ g)(x) = f(x) ⋅ g(x)

Muchos elementos absorbentes también son identidades aditivas, incluido el conjunto vacío y la función cero. Otro ejemplo importante es el elemento distinguido 0 en un cuerpo o anillo, que es tanto la identidad aditiva como el elemento absorbente multiplicativo, y cuyo ideal principal es el ideal más pequeño.^[6]​

Objetos cero

Un objeto cero en una categoría es a la vez un objeto inicial y terminal (y por lo tanto, una identidad con respecto a coproductos y productos). Por ejemplo, la estructura trivial (que contiene solo la identidad) es un objeto cero en categorías donde los morfismos deben asignar identidades a identidades. Los ejemplos específicos incluyen:

• El grupo trivial, que contiene solo la identidad (un objeto cero en la categoría de grupos)^[7]​
• El módulo cero, que contiene solo la identidad (un objeto cero en la categoría de módulos sobre un anillo)^[8]​

Morfismos cero

Un morfismo cero en una categoría^[9]​ es un elemento absorbente generalizado con respecto a una función compuesta: cualquier morfismo compuesto con un morfismo cero da un morfismo cero. Específicamente, si 0_XY : X → Y es el morfismo cero entre los morfismos de X a Y, y f : A → X y g : Y → B son morfismos arbitrarios, entonces g ∘ 0_XY = 0_XB y 0_XY ∘ f = 0_AY.

Si una categoría tiene un objeto cero 0, entonces existen los morfismos canónicos X → 0 y 0 → Y, y al componerlos se obtiene un morfismo cero 0_XY : X → Y. En categoría de grupos, por ejemplo, los morfismos cero siempre devuelven identidades de grupo, generalizando así la función z(x) = 0.

Elementos mínimos

Un elemento mínimo en un conjunto parcialmente ordenado^[10]​ o retículo a veces puede llamarse un elemento cero y escribirse como 0 o ⊥.

Módulo cero

En matemáticas, el módulo cero es el módulo que consta únicamente de la identidad aditiva para la función aditiva del módulo. En los números enteros, esta identidad es el cero, lo que da el nombre de módulo cero. Que el módulo cero es de hecho un módulo es simple de demostrar; se cierra bajo la suma y la multiplicación trivialmente.

Ideal cero

En matemáticas, el ideal cero en un anillo ${\displaystyle R}$  es el ideal ${\displaystyle \{0\}}$  que consta solo de la identidad aditiva (o elemento cero).^[11]​ El hecho de que esto sea un ideal se deduce directamente de la definición.

Matriz cero

Artículo principal: Matriz cero

En matemáticas, particularmente en álgebra lineal, una matriz cero es una matriz con todas sus entradas cero.^[12]​ Se denota alternativamente con el símbolo ${\displaystyle O}$ . Algunos ejemplos de matrices cero son

${\displaystyle 0_{1,1}={\begin{bmatrix}0\end{bmatrix}},\ 0_{2,2}={\begin{bmatrix}0&0\\0&0\end{bmatrix}},\ 0_{2,3}={\begin{bmatrix}0&0&0\\0&0&0\end{bmatrix}},\ }$ 

El conjunto de matrices m × n con elementos definidos en un anillo K forma un módulo ${\displaystyle K_{m,n}}$ . La matriz cero ${\displaystyle 0_{K_{m,n}}}$  en ${\displaystyle K_{m,n}}$  es la matriz con todos sus elementos iguales a ${\displaystyle 0_{K}}$ , donde ${\displaystyle 0_{K}}$  es la identidad aditiva en K.

${\displaystyle 0_{K_{m,n}}={\begin{bmatrix}0_{K}&0_{K}&\cdots &0_{K}\\0_{K}&0_{K}&\cdots &0_{K}\\\vdots &\vdots &&\vdots \\0_{K}&0_{K}&\cdots &0_{K}\end{bmatrix}}}$ 

La matriz cero es la identidad aditiva en ${\displaystyle K_{m,n}}$ . Es decir, para todo ${\displaystyle A\in K_{m,n}}$ :

${\displaystyle 0_{K_{m,n}}+A=A+0_{K_{m,n}}=A}$ 

Existe exactamente una matriz cero de cualquier tamaño dado m × n (con elementos de un anillo dado), por lo que cuando el contexto es claro, a menudo se hace referencia a "la" matriz cero. En general, el elemento cero de un anillo es único y normalmente se denota como 0 sin ningún subíndice para indicar el anillo principal. Por lo tanto, los ejemplos anteriores representan matrices cero sobre cualquier anillo.

La matriz cero también representa la aplicación lineal que envía todos los vectores al vector cero.

Tensor cero

En matemáticas, el tensor cero es un tensor, de cualquier orden, cuyos componentes son todos cero.^[13]​ El tensor cero de orden 1 a veces se conoce como vector cero.

Realizar el producto tensorial de cualquier tensor con cualquier tensor cero da como resultado otro tensor cero. Sumar el tensor cero es equivalente a la operación de identidad.

Véase también

• Semigrupo nulo
• Divisor de cero
• Objeto inicial, final y cero
• Raíz de una función
• Cero — usos no matemáticos

Referencias

1. Weisstein, Eric W. «Zero Vector». mathworld.wolfram.com (en inglés). Consultado el 12 de agosto de 2020. 
2. «Definition of ZERO VECTOR». www.merriam-webster.com (en inglés). Consultado el 12 de agosto de 2020. 
3. Martyn R. Dixon, Leonid A. Kurdachenko, Igor Ya Subbotin (2014). An Introduction to Essential Algebraic Structures. John Wiley & Sons. pp. 41 de 240. ISBN 9781118497753. Consultado el 3 de enero de 2020. 
4. Equivariant Topology and Derived Algebra. Cambridge University Press. 2021. pp. 61 de 356. ISBN 9781108931946. Consultado el 17 de enero de 2022. 
5. Vialar Thierry (2017). Handbook of Mathematics. BoD - Books on Demand. pp. 16 de 1132. ISBN 9782955199015. Consultado el 17 de enero de 2022. 
6. V. Venkateswara Rao, N. Krishnamurthy, B.V.S.S. Sarma S. Anjaneya Sastry, S. Ranganatham & R. Bharavi Sharma. A Textbook of B.Sc. Mathematics Abstract Algebra. S. Chand Publishing. p. 272. ISBN 9789352832507. Consultado el 17 de enero de 2022. 
7. André Leroy, Christian Lomp, Sergio López-Permouth, Frédérique Oggier (2019). Rings, Modules and Codes. American Mathematical Soc. pp. 30 de 355. ISBN 9781470441043. Consultado el 17 de enero de 2022. 
8. Abelian Groups, Rings, Modules, and Homological Algebra. CRC Press. 2016. pp. 295 de 360. ISBN 9781420010763. Consultado el 17 de enero de 2022. 
9. Theory of Categories. Academic Press. 1965. pp. 14 de 272. ISBN 9780080873299. Consultado el 17 de enero de 2022. 
10. R. C. Penner (1999). Discrete Mathematics: Proof Techniques and Mathematical Structures. World Scientific. pp. 215 de 469. ISBN 9789810240882. Consultado el 17 de enero de 2022. 
11. Ideal Theoretic Methods in Commutative Algebra. CRC Press. 2019. p. 376. ISBN 9780429530449. Consultado el 17 de enero de 2022. 
12. B. Boates, I. Tamblyn (2011). Understanding Math - Introduction to Matrices. Solid State Press. ISBN 9781938189005. Consultado el 17 de enero de 2022. 
13. Millard F. Beatty Jr. (1986). Principles of Engineering Mechanics: Kinematics — The Geometry of Motion. Springer Science & Business Media. pp. 156 de 402. ISBN 9780306421310. Consultado el 17 de enero de 2022. 

•   Datos: Q1468740