Intereting Posts

a Fourier transform (sinc)
Compositions of $n$ with largest part at most $m$
Good books on Philosophy of Mathematics
Example of a first-countable non-$T_1$ compact topological space which is not sequentially compact?
On the space $L^0$ and $\lim_{p \to 0} \|f\|_p$
$A$ retract of $X$ and $X$ contractible implies $A$ contractible.
Given $d \equiv 5 \pmod {10}$, prove $\mathcal{O}_{\mathbb{Q}(\sqrt{d})}$ never has unique factorization
Proving that a linear isometry on $\mathbb{R}^{n}$ is an orthogonal matrix
Meaning behind differentials
What are the methods of solving linear congruences?
Prove by induction $\vphantom{\Large A}3\mid\left(n^{3} – n\right)$
Geometric multiplicity of an eigenvalue
Trisect a quadrilateral into a $9$-grid; the middle has $1/9$ the area
Is there a name for the sum of increasing powers?
Computing $\sum _{k=1}^{\infty } \frac{\Gamma \left(\frac{k}{2}+1\right)}{k^2 \Gamma \left(\frac{k}{2}+\frac{3}{2}\right)}$ in closed form

I’d like some help making this argument complete and rigorous (if it’s correct – if not, help with that would be nice).

Here $k$ is a field.

Let $A_1,\ldots,A_n \subseteq k$ be infinite subsets. Then any polynomial in $k[x_1,\ldots,x_n]$ that vanishes on $A_1\times\cdots\times A_n\subseteq k^n$ must be $0$ (as a polynomial).

- Minimal prime ideals of $\mathcal O_{X,x}$ correspond to irreducible components of $X$ containing $x$
- Hartshorne Theorem 8.17
- Rational functions on $V(xw-yz)$
- Doing Complex Analysis on the Riemann Sphere?
- closed immersion onto an affine scheme - showing affineness
- Sheafication of a sheaf restricted to a open set

This is what I have …

For the case $n=1$, a non-constant polynomial can only have as many roots as its degree, and in particular, it must have a finite number of roots. The only polynomial in one variable that has an infinite number of roots is $0$, so if a polynomial in $k[x_1,\ldots,x_n]$ vanishes on an infinite subset then it must be $0$.

For the inductive step, suppose the proposition is true for less than $n$ subsets and variables. Let $p\in k[x_1,\ldots,x_n]$ vanish on $A_1\times\cdots\times A_n$. Fix $x_n$ as some $a\in A_n$, and we have a polynomial in $n-1$ variables that vanishes on the set $A_1\times\cdots\times A_{n-1}$, so by the inductive hypothesis it must be identically $0$. (Now it gets sketchy). Since this is true for any of the infinite values in $A_n$, and , $p$ must be $0$.

- Pullback and Pushforward Isomorphism of Sheaves
- How to see $\operatorname{Spec} k$ for non necessarily algebraic closed field $k$?
- There is a bijection between irreducible components of the generic fiber and irreducible components passing through it.
- proving that this ideal is radical or the generator is irreducible
- Computing the local ring of an affine variety
- Is this quotient ring $\mathbb{C}/\ker\phi$ integrally closed?
- Extension by zero not Quasi-coherent.
- isolated non-normal surface singularity
- Why is it called “elliptic” curve?
- “sheaf” au sens de Serre

Answered satisfactorily in the comments.

- Prove every group of order less or equal to five is abelian
- $\int^b_a t^kf(t) dt\,=0$ for all $k \geq 1 \implies f=0$ a.e.
- How can there be alternatives for the foundations of mathematics?
- Diagonalization on turing machines and proofs. Where does the argument fail?
- Demand Function and Dead Weight Loss
- If $A \ne \varnothing$, then $\varnothing^A=\varnothing$
- Uniform convergence problem
- What is $\sup(\sin(n))$?
- Intuition behind quotient groups?
- Zeilbergers algorithm in Maple
- Find the distance covered by the ant
- Why is the space of surjective operators open?
- Convergence testing of the improper integral $\int_{0}^{\infty}\frac{\ln x}{\sqrt{x}(x^2-1)}\ dx$
- Why $a^n – b^n$ is divisible by $a-b$?
- Intersection and Union of subspaces