Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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$?

share|cite|improve this question
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 '12 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 '12 at 14:48

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.