4 added 1 characters in body

You can define $Proj S$ for any graded ring $S$ and this is certainly a scheme; this is in Hartshorne II.2. Infinite projective space is $Proj S$ where $S = k[x_0, x_1, ....]$ and $k$ is the base field.

Regarding your second question, if you take any homogeneous element $f \in S$, then the vanishing of this should define a closed subscheme of codimension 1 (in particular still infinite dimensional).

Maybe I should say $Proj S$ is the algebraic analogue of infinite projective space. As a topological space it is very different from $\mathbb{C}^{\infty} - 0$/scaling. But this is even true in the finite dimensional case (Zariski topology is not the same as topology considered are as a real or complex manifold).

3 added 314 characters in body; edited body

You can define $Proj S$ for any graded ring $S$ and this is certainly a scheme; this is in Hartshorne II.2. Infinite projective space is $Proj S$ where $S = k[x_0, x_1, ....]$ and $k$ is the base field.

Regarding your second question, if you take any homogeneous element $f \in S$, then the vanishing of this should define a closed subscheme of codimension 1 (in particular still infinite dimensional).

Maybe I should say $Proj S$ is the algebraic analogue of infinite projective space. As a topological space it is very different from $\mathbb{C}^{\infty} - 0$/scaling. But this is even true in the finite dimensional case (Zariski topology is not the same as topology considered are real or complex manifold).

2 added 203 characters in body

You can define $Proj S$ for any graded ring $S$ and this is certainly a scheme; this is in Hartshorne II.2. Infinite projective space is $Proj S$ where $S = k[x_0, x_1, ....]$ and $k$ is the base field.

Regarding your second question, if you take any homogeneous element $f \in S$, then the vanishing of this should define a closed subscheme of codimension 1 (in particular still infinite dimensional).

1