MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## Conditions for uniform limit of sets

This question roughly translates to seeing if the intersection of two limits of sets, is the same as the limit of the intersections. This is of course false in general, but what conditions needs to be fulfilled for this to be true? This is the setting I am interested in:

Suppose we have two sequences of polynomials, $P_n(x,y)$ and $Q_n(x,y)$ in two complex variables.

Suppose that for each fixed $y^\star$, set of zeros of $P_n(x,y^\star)$ converge to a set $C(y^\star)$, in the following sense: Each point $x \in C(y^\star)$ is a limit of a subsequence of zeros of $P_n(x,y^\star)$ as $n \rightarrow \infty$.

Similarly, for each fixed $x^\star$, set of zeros of $Q_n(x^\star,y)$ converge to $C(x^\star)$. Thus, for each fixed $(x^\star,y^\star)$, we have two limit sets $C(x^\star)$ and $C(y^\star).$

Now, let $C$ be the set of points $(x,y) \in \mathbb{C}^2$ such that $x \in C(y)$ and $y \in C(x).$

Under what conditions do the zeros of the system $P_n(x,y)=Q_n(x,y)=0$ converge (in the above sense) to $C$?

-
 Do you really mean "subsequence" in the definition of $C(y^*)$? If you do, then it seems that you could have $x\in C(y)$ because of zeros of the $P_n$'s for even $n$, and you could have $y\in C(x)$ because of zeros of the $Q_n$'s for odd $n$, in which case you seem to have no information relevant to $P_n=Q_n=0$ (with the same subscript $n$ on both $P$ and $Q$). – Andreas Blass Apr 25 2012 at 13:53 Yes, I do mean subsequence, and your comment do imply that I need extra conditions on P and Q. What suitable conditions I need is what I am asking for. This notion of limit (with subsequences) of set have been used in various places, to I'd like to keep that. – Per Alexandersson Apr 25 2012 at 14:48