0
$\begingroup$

What does the notation $\subset \subset$ mean?

In my class notes, our prof writes $\Omega \subset \subset \mathbb{R}^{n}$ to mean that "$\Omega$ is a convex subset of $\mathbb{R}^{n}$". Is that all that this means, or is there any more to it than that? I'm just curious because I've never seen this notation before, and don't want any of it's subtleties or nuances lost on me.

$\endgroup$
  • $\begingroup$ math.stackexchange.com/questions/56872/… $\endgroup$ – Poppy Jan 26 '14 at 19:00
  • $\begingroup$ That question seems to not come to a consensus as to whether it means "relatively compact" or "bounded " :( $\endgroup$ – ALannister Jan 26 '14 at 19:02
  • 2
    $\begingroup$ Relatively compact means "whose closure is compact". Closure is of course always closed :) and if we have boundedness, then we also have compactness (in $\mathbb{R}^n$). $\endgroup$ – Poppy Jan 26 '14 at 19:04
  • 1
    $\begingroup$ What I'm trying to say- if we are in $\mathbb{R}^n$, then relatively compact is the same as bounded. $\endgroup$ – Poppy Jan 26 '14 at 19:05
  • 1
    $\begingroup$ True. Not something we get in infinite dimensional spaces, unfortunately, but we're not dealing with those here . Thanks for the clarification, Poppy! $\endgroup$ – ALannister Jan 26 '14 at 19:06
1
$\begingroup$

The usual meaning is "strongly included": $A\subset\subset B$ when $\overline A$ compact and $\overline A\subset B$.

http://books.google.es/books?id=1bFCAAAAQBAJ&pg=PA583&lpg=PA583&dq=%22strongly+included%22+functional+analysis&source=bl&ots=pLvX3_U1Y6&sig=b2lHPap1QvXi0ITvfTw-DwDVTJQ&hl=en&sa=X&ei=xWHlUtOkEoja0QXyg4HgAg&redir_esc=y#v=onepage&q=%22strongly%20included%22%20functional%20analysis&f=false

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.