In a general topological setting what can be said about an open quasi-compact set?
Is it true that a subset of such a set is compact? What if that set is open?
I ask because this came up in class today with someones solution to a problem (my
class consists mainly of student presentations). I should have asked at the time, but thought about it too much and didn't have an opportunity. So the statement seemed to be that any subset of an quasi-compact open set is quasi-compact- though for the problem we were discussing the subset was also open (though it seemed like this wasn't really used). It feels like it should be easy to prove or disprove but I haven't been able to come up with anything.
Thanks.
(Note: Hausdorff is not assumed)
Edit: I must apologize I have been away. In all instances where I merely wrote compact I meant quasi-compact. The point being that there is no assumption on the Hausdorff property.
Best Answer
As Martin explains, it is not true that an open subset of a quasi-compact space is necessarily quasi-compact. However here is a nice substitute.
A topological space $X$ is said to be noetherian if every decreasing sequence $F_0\supseteq F_1\supseteq F_2\supseteq ...$ of closed subsets of $X$ is stationary: there exists $N$ such that $F_N=F_{N+1}=F_{N+2}=...$.
The amazing (but very easy: try to prove it!) result is that every subset, open or not, of a noetherian space is quasi-compact!
You might think that these spaces are rare and useless. This is not the case:
a) Every set $X$ with the cofinite topology (in which the closed subsets are the finite subsets plus $X$ itself) is noetherian.
b) The prime spectrum $Spec(A)$ of any noetherian ring $A$ is a noetherian topological space.
c) More generally the noetherian schemes, those which can be covered by finitely many open affine subschemes as in b), have an underlying noetherian topological space. These schemes are by far the most studied and most useful in algebraic geometry.