Is there a short-hand notation for $$ f(x) = 1 \quad \forall x $$ ?
I've seen $f\equiv 1$ being used before, but found some some might (mis)interpret that as $f:=1$ (in the sense of definition), i.e., $f$ being the number $1$.
$\begingroup$
$\endgroup$
4
-
2$\begingroup$ I tend to interpret $\equiv$ in the way you want. Also, I usually don't take $:=$ to mean a definition, so much as an instance. E.g. $f:=1$ to me means that $f$ will represent $1,$ but it is not a definition of $f.$ $\endgroup$– AndrewJul 27, 2012 at 20:30
-
2$\begingroup$ I also interpret $\equiv$ in the way you want. (I do take $:=$ to denote a definition.) $\endgroup$– jorikiJul 27, 2012 at 20:47
-
$\begingroup$ $A\triangleq B$ is sometimes okay, and $\newcommand\assign{\mathinner{:=}}A\assign B$ sometimes represent $A\gets B$ in context of computer programmng. $\endgroup$– Yai0PhahJul 28, 2012 at 14:29
-
1$\begingroup$ That's why the (sub)section notation is always a great idea at the beginning of any book or paper. $\endgroup$– user2468Jul 29, 2012 at 1:01
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
Go ahead and use $\equiv$. To prevent any possibility of misunderstanding, you can use the word "constant" the first time this notation appears. As in "let $f$ be the constant function $f\equiv1$..."