Infinite sets of primes of density 0 Sorry if the question is too vague or if the examples I look for are too boringly well-known: my knowledge of analytic number theory is rather primitive......
So, here it goes: suppose that you want to prove that the set $\Sigma$ of primes satisfying a certain condition $C$ is infinite. Then you may attempt to compute the density
$$
\delta(C)=\lim_{x\to\infty}\frac{|\text{$p\leq x$ such that $C(p)$ holds}|}{|p\leq x|}.
$$
If $\delta$ turns out to be positive, you're done. But it could as well be that $\delta=0$ and yet $\Sigma$ be infinite.
My questions are: (1) what are the main known examples of this occurrence? (2) in these examples, if any, the proofs of the infiniteness of $\Sigma$ did use ad hoc case-by-case "tricks" or there are somewhat standard techniques than can be employed with the situation? (3) is there a standard reference?
 A: There is a general strategy, which unfortunately is a failure because the information needed for success is scarcely ever available.
Let $A$ denote a set of primes, and $B$ the set of all products of powers of the primes in $A$. Then 
$$
\prod_{p \in A}(1 - p^{-s})^{-1} = \sum_{n \in B}n^{-s}
$$
by the Euler product formula. The Dirichlet series on the right hand side has nonnegative coefficients, so by a theorem of Landau, the point where the line of convergence crosses the real axis is a singularity of the sum function. If $A$ is finite, this singularity is at the origin. Thus if it can be established that the line of convergence is to the right of the imaginary axis, $A$ must be infinite (The only reason to invoke the theorem of Landau is to guarantee that there always is a singularity on the line of convergence). Of course, existence of a singularity of the sum function somewhere in the open right hand half plane would also work, even if we do not know the line of convergence.
This tends to fail because we can't get a good grip on $B$. Suppose $A$ is the set of twin primes (primes $p$ such that $p+2$ is also prime). Nothing really useful is known about the set $B$ of integers that are products of powers of twin primes. But if the accepted conjecture about the distribution of twin primes holds, there will be a singularity at $s = 1$, so $B$ cannot be really sparse.
As an example, there are infinitely many primes $p \equiv 1\pmod{4}$. Letting these primes, together with $2$, constitute $A$, we see that $B$ contains the 
values of the polynomial $n^2 + 1$, since the latter is never divisible by any prime $q \equiv 3\pmod{4}$. Then 
$$
\sum_{n \in B}n^{-\sigma} \geq \sum_{m = 1}^{\infty}(m^2 + 1)^{-\sigma}
$$
and thus the Dirichlet series over $B$ has a singularity in the half plane $\sigma \geq 1/2$. So $A$ has to be infinite.
Admittedly, this example is not that interesting. 
A: This is essentially a comment on Kevin Buzzard's answer, but because of its length and (I feel) importance, I am leaving it separately.
It is a consequence of Serre's open image theorem that the set of primes of supersingular reduction for a non-CM elliptic curve $E_{/ \mathbb{Q}}$ has density zero.  (Conversely, for a CM elliptic curve, the set of such primes has density $\frac{1}{2}$.)  Therefore, when Elkies showed -- by a method of proof strongly reminiscent of Euclid's argument, as you say! -- that there are infinitely many supersingular primes for every $E$, he was in particular giving a very interesting and natural example of an infinite set of primes of density zero.
It is interesting to try to generalize this example to analogous cases.  For instance, Barry Mazur (my thesis advisor) asked me once if I could prove infinitude of primes of supersingular reduction for abelian surfaces $A_{/\mathbb{Q}}$ with quaternionic multiplication.  (I had previously proven the analogue of Serre's open image theorem in this case, or rather reproven it, since Ohta had done it many years before.)  I had no idea how to do this.  My roommate, David Jao, ended up writing a thesis on generalizations of Elkies' proof to elliptic curves corresponding to $\mathbb{Q}$-rational points on Atkin-Lehner quotients of genus $0$ modular curves $X_0(N)$, in particular giving new examples of infinitude of supersingular primes for certain elliptic curves over quadratic imaginary fields.  He tried the QM case (in which $X_0(N)$ is replaced by a Shimura curve) but couldn't make the argument work for a funny reason: although a QM abelian surface is much like a non-CM elliptic curve in its reduction behavior at most primes, it is like a CM elliptic curve in that it has some primes of guaranteed supersingular reduction, namely those primes dividing the discriminant of the quaternion algebra.  He was able to set up a Euclid-Elkies style argument where you use the supersingular primes you already have to get another one, but he couldn't show that this "other one" wasn't one of the finitely many primes dividing the quaternionic discriminant!  More recently, Baba and Granath established this result for QM surfaces of quaternionic discriminant $6$ and $10$.
(There is an analogous problem for Drinfeld modules in the function field case, but Bjorn Poonen famously gave an example of a Drinfeld module with no primes of supersingular reduction.)
I seem to vaguely remember that Serre's 1981 paper on applications of the Cebotarev density theorem and/or his 1997 JAMS paper on equidistribution contains further examples of this general type, but I wouldn't swear to it. 
A: This is very similar to the $n^2 + 1$ idea.
Friedlander–Iwaniec theorem
http://en.wikipedia.org/wiki/Friedlander%E2%80%93Iwaniec_theorem
Up to some bound $M$ there are at most about $M^{3/4}$ values of $a^2 + b^4,$ only some of those are prime, and
$ M^{3/4} / (M / (\log M)) = \frac{ \log M }{M^{1/4}}  $
A: If you can prove any reasonable lower bound for the set of primes which are at most $x$ then it's trivial to find infinite sets of primes with density 0. For example using completely elementary methods one can check that there's always a prime between $n$ and $2n$ (Bertrand's postulate), and hence the number of primes between 1 and $x$ is at least $log_2(x)$ for $x\geq2$ an integer. So now just build an infinite set $C$ of primes by letting the $n$th element be the smallest prime greater than $2^{2^n}$ (or any function that grows much faster than $2^n$). Does this answer your question or did I misunderstand it?

Edit: it appears that the questioner doesn't want arbitrary constructions, but explicit examples of infinite sets of density 0. In this case I would say that there is no "standard technique" (known to me, at least), other than the obvious one of "take a finite set of primes with the property, and construct another one". This is, for example, the technique used by Elkies to prove that there are infinitely many supersingular primes for an elliptic curve over the rationals. 
I think that in general if you want to prove that a set of primes is infinite, often you try and compute the rate of growth, or come up with heuristics estimating what its growth should be under suitable "independence hypotheses". I guess that would be another technique. Having positive density is a super-strong condition on a set of primes. Heuristic arguments based on Sato-Tate, for example, tell you that the set of supersingular primes for a non-CM elliptic curve over Q is probably growing something like $O(x^{1/2}/log(x))$. The truth of that statement establishes both that the set is infinite and has density zero all in one stroke. Elkies didn't prove this though, he just took the more naive approach above.
A: Here is a simple example of how one can use Dirichlet's theorem on primes in arithmetic progressions to find infinite families of primes with zero density:
Let $P$ be a set of primes {$p_1,\ldots,p_n,\ldots$} recursively defined such that $p_n\equiv 1 \bmod p_i$ for all $ i \lt n$.
1) The set $P$ is infinite by Dirichlet's theorem in arithmetic progressions, because if $p_1,\ldots, p_n$ are the first $n$ primes in $P$, then there is always a prime $p \equiv 1 \bmod p_1\cdots p_n$, and therefore $p\equiv 1 \bmod p_i$ for all $i=1,\ldots, n$.
2) The density of $P$ must be zero, because, if we fix $N>0$
$$\limsup_{x\to\infty}\frac{|\text{$p\leq x$ such that $p\in P$}|}{|p\leq x|} \leq \lim_{x\to\infty}\frac{|p\leq p_1\cdots p_N| + |\text{$p$ such that $p\equiv 1 \bmod p_1\cdots p_N$}|}{|p\leq x|}$$
$$\leq \lim_{x\to\infty}\frac{|p\leq p_1\cdots p_N|}{|p\leq x|} + \frac{|\text{$p$ such that $p\equiv 1 \bmod p_1\cdots p_N$}|}{|p\leq x|} = 0 + \frac{1}{\varphi(p_1\cdots p_N)} \to 0 \text{ as $N\to \infty$.}$$
Hence $\delta(P)=\lim_{x\to\infty}\frac{|p\leq x \text{ such that } p\in P|}{|p\leq x|}$ exists and it is zero. 
A: A neat way to show that a set of primes has zero density (within the primes) is to use the following form of the Green-Tao theorem:

Any set of positive density within the primes has arbitrarily long arithmetic progressions.

In particular, any set of primes which does not contain three (say) elements in arithmetic progression must have zero density. 

If a set $P$ of primes has the property that $p_1,p_2\in P$ implies that $(p_1+p_2)/2\not\in P$, then the set $P$ has zero density in the primes.

As an immediate corollary, we get the (unconditional) result that the Mersenne primes (ones of the form $2^p-1$) have zero density.
This trick seems like it could be applied to many other natural sets of primes.
EDIT: Zero density for Mersenne primes is easy to get anyway, as Ben Weiss points out, and so is zero density for primes of form $n^2+1$, which would also follow from this method.
A: i definitely think it is right that every set construct by a given primitive polynomial take value on integers.said:
$$A_P=\{p(n)|n\in N^*\}$$
is a set with density 0 if $deg P\geq 2$.
on the other side,if we can prove the conjecture there are infinite prime in $A_P$,then they are a group of interesting examples.
