Consideremos una función parcial $f$ que se define sólo para unos pocos valores de su dominio (mi caso de uso exacto es $\delta$ funciones de transición en los autómatas). Se puede "completar" diciendo $$g(x)=0\iff f(x) \text{ is not defined.}$$
¿Existe un símbolo que signifique "indefinido"? ¿Sería correcto, o exacto, escribir $\nexists f(x)$ ?
Un lenguaje para la gestión del conocimiento matemático utiliza $f(x)\uparrow$ .
No había visto esto antes, pero he visto $f(x) \downarrow$ para significar que $f(x)$ es definido, por lo que esto tiene sentido.
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
5 votos
Algunas personas escriben $f(x)\uparrow$ .
4 votos
Recuerdo que $\bot$ que se utiliza. Véase es.wikipedia.org/wiki/Función_parcial#Tipo_inferior .
3 votos
Sin embargo, $\not\exists f(x)$ Sin embargo, parece confuso.
1 votos
@Srivatsan Quieres decir, $f(x) = \bot$ ? Recuerdo algo así.
1 votos
Ah, sí. Me refería a $f(x) = \bot$ . (Pero esto es sólo lo que yo recuerdo, así que no hay que fiarse. Ojalá algún experto pueda corroborarlo).
0 votos
En los textos de álgebra matricial, $\perp$ suele reservarse para el aniquilador de una matriz, es decir $(A^\perp)^T A = 0 $ y $\begin{bmatrix} A &A^\perp \end{bmatrix}$ es de rango completo.