En el contexto de la discusión aquí, parece que el punto seguido de dos puntos en la Fig. 2.21 significa "dado..." pero ¿puede alguien indicarme una página donde este (estos?) símbolo se defina como tal?
¿Es un símbolo de lógica simbólica o de alguna otra rama de las matemáticas?
En general, si $A, B$ son conjuntos, entonces una función $f$ que toma elementos de $A$ como entrada y produce elementos de $B$ como salida se escribe como $f: A \to B$ . En este caso, el conjunto $A$ es $\mathbb C \times \mathbb V$ y el conjunto $B$ es $\mathbb V$ . El "nombre de la función" es el punto $\cdot$ . Si se toma esto muy literalmente, significa que se escribiría $\cdot(c, v)$ para $c \in \mathbb C, v \in \mathbb V$ pero por el contexto o la experiencia se entendería que se utiliza una notación infija de $\cdot$ , por lo que en realidad se escribe $c \cdot v$ en su lugar.
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.
