50 votos

¿Qué significa :=?

¿Qué hace := ¿quieres decir?

25 votos

Generalmente significa "se define como igual a".

3 votos

Es una notación común para afirmar que el lado izquierdo es definido como (en contraste con igual a ) la expresión del lado derecho.

7 votos

Para futuras referencias, el tabla de símbolos matemáticos en la wikipedia es bastante extensa y tiene varias referencias adicionales.

57voto

Lorin Hochstein Puntos 11816

Está tomada de la programación informática: significa que el elemento de la izquierda está siendo definido para ser lo que está en el lado derecho. Por ejemplo, $$y := 7x+2$$ significa que $y$ es definido para ser $7x+2$ .

Esto es diferente de, por ejemplo, escribir $$1 = \sin^2(\theta) + \cos^2(\theta)$$ donde estamos diciendo que las dos partes son iguales, pero no estamos definir "1" para ser la expresión " $\sin^2(\theta) + \cos^2(\theta)$ ".

Básicamente, algunas personas piensan que debería haber una diferencia notacional entre decir "yo defino blah sea igual a blankety " y diciendo " blah es igual a blankety ". Así que utilizan := para la primera y = para este último. Por lo general, el contexto deja claro cuál de los dos usos del signo de igualdad es el que se pretende (a menudo, debido a palabras señalizadoras como "Let", "We define", etc.)

5 votos

¿Estás seguro de que viene de CS? Yo estudio CS y veo $:=$ principalmente en contextos matemáticos/teóricos. Los lenguajes de programación utilizan = y == hoy en día. También he visto $\leftarrow$ en el contexto de la semántica formal, pero casi nunca $:=$ .

0 votos

@Raphael El := se utiliza en el pseudocódigo.

0 votos

Algunas observaciones: (a) el uso de := no está universalmente aceptado en matemáticas (b) es mejor evitar el uso de, por ejemplo "Definir y:=7x+2", donde el "definir" aparece dos veces.

2voto

Chris Pietschmann Puntos 13397

Creo que Bourbaki lo usó primero no estoy seguro Sé que los físicos utilizan $\equiv$

1 votos

Yo uso $:=$ para las definiciones y $\equiv$ para las identidades. En este último caso, pienso que el símbolo es $=$ con subrayado enfático. :) (Si importa, no soy físico).

2 votos

$\equiv$ es efectivamente utilizado por los físicos como "se define como". En aritmética de módulos también se utiliza como "es equivalente mod (subíndice entero de $\equiv$ )". Por ejemplo, escribiendo $8 \equiv_{3} 2$ significa "8 es equivalente a 2 mod 3". También se utiliza para significar relaciones de congruencia más generales. Le recomiendo que no utilice $\equiv$ como una identidad enfática, @DayLateDon, para evitar confusiones al compartir su trabajo con otros.

0 votos

@karmic_mishap: Recogí el " $\equiv$ para la identidad" de algún lugar que ya no recuerdo. "Igualdad enfática" es sólo la forma en que me lo explico. :)

i-Ciencias.com

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.

Powered by:

X