Consideremos una función parcial ff que se define sólo para unos pocos valores de su dominio (mi caso de uso exacto es δδ funciones de transición en los autómatas). Se puede "completar" diciendo g(x)=0⟺f(x) is not defined.g(x)=0⟺f(x) is not defined.
¿Existe un símbolo que signifique "indefinido"? ¿Sería correcto, o exacto, escribir ∄f(x)∄f(x) ?
Un lenguaje para la gestión del conocimiento matemático utiliza f(x)↑ .
No había visto esto antes, pero he visto f(x)↓ 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)↑f(x)↑ .
4 votos
Recuerdo que ⊥⊥ que se utiliza. Véase es.wikipedia.org/wiki/Función_parcial#Tipo_inferior .
3 votos
Sin embargo, ∄f(x)∄f(x) Sin embargo, parece confuso.
1 votos
@Srivatsan Quieres decir, f(x)=⊥f(x)=⊥ ? Recuerdo algo así.
1 votos
Ah, sí. Me refería a f(x)=⊥f(x)=⊥ . (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, ⊥⊥ suele reservarse para el aniquilador de una matriz, es decir (A⊥)TA=0(A⊥)TA=0 y [AA⊥] es de rango completo.