Content deleted Content added
m chem -> math |
m 「x is not in V」 → 「P(x) = 0」 |
||
Line 4:
::<math>\mathbf{1}_A\colon X \to \{0, 1\},</math>
:which for a given subset ''A'' of ''X'', has value 1 at points of ''A'' and 0 at points of ''X'' − ''A''.
* There is an indicator function for affine varieties over a finite field:<ref>{{Cite book|title=Course in Arithmetic|last=Serre|first=|publisher=|year=|isbn=|___location=|pages=5}}</ref> given a finite set of functions <math>f_\alpha \in \mathbb{F}_q[x_1,\ldots,x_n]</math> let <math>V = \{ x \in \mathbb{F}_q^n : f_\alpha(x) = 0 \}</math> be their vanishing locus. Then, the function <math>P(x) = \prod(1 - f_\alpha(x)^{q-1})</math> acts as an indicator function for <math>V</math>. If <math>x \in V</math> then <math>P(x) = 1</math>, otherwise, for some <math>f_\alpha</math>, we have <math>f_\alpha(x) \neq 0</math>, which implies that <math>f_\alpha(x)^{q-1} = 1</math>, hence <math>P(x) =
* The [[characteristic function (convex analysis)|characteristic function]] in convex analysis, closely related to the indicator function of a set:
::<math>\chi_A (x) := \begin{cases} 0, & x \in A; \\ + \infty, & x \not \in A. \end{cases}</math>
| |||