1
$\begingroup$

Show that the countable collection of rectangles

$\{ (a,b)\times (c,d) \mid a

is a topological basis for $\mathbb{R^2}$.

This a question from the book Topology by James Munkres. I am not able figure out. How to go about this question?

  • 0
    When I google for [rational basis topology](http://www.google.com/#sclient=psy-ab&hl=en&source=hp&q=rational+basis+topology) this is the first result: https://www.math.lsu.edu/~stoltz/Courses/F08/7510/CourseMaterials/HW1ans.pdf - see Problem 6 on p.2 of this document.2011-10-30
  • 0
    Okay Thanks I'll read it2011-10-30
  • 0
    What is your definition of a (topological, i presume) basis? Can you prove at least some properties from that definition for your given set? Do you know any bases for $\mathbb R^2$ already?2011-10-30
  • 0
    @HenningMakholm This is first time I am seeing bases of $\mathbb{R^2}$. CAn you explain how $(a,b)\times (c,d)$ is basis element in $\mathbb{R^2}$ ?2011-10-30
  • 0
    Does the book contain a definition of bases for topological spaces in general? Does it define a topology on $\mathbb R^2$? If so, how is it defined?2011-10-30
  • 1
    Basis is defined for a general topological spaces. I think I misinterpreted the notation I think I got it. I am treating (a,b) as a element of R^2 it should be considered as a subset of R.2011-10-30
  • 1
    @Ramana: Yes, they must be intervals. Now that you mention it, it _is_ confusing.2011-10-30
  • 2
    @Henning, Ramana: This is a good reason for ordered pairs to be written as $\langle x,y\rangle$ and not as $(x,y)$.2011-10-30
  • 0
    @Asaf: You denote closed intervals by $[a,b]$? (Many people are used to $\langle a,b \rangle$.) It would not be of much help, if we got just closed intervals instead of open intervals.2011-10-30
  • 1
    @Martin: There will always be incompatibility in symbols. I come from a place where open intervals are $(x,y)$ and thus I find $]x,y[$ cumbersome. Thus I am left with $\langle x,y\rangle$ for ordered pairs.2011-10-30
  • 1
    @Asaf: in practice, there is no problem with that overloading of notations. (There are no anecdotes of great mathematicians in the middle of a talk stopping short and saying «ooooooohhhhh, that was an *order pair*! oooops»...)2011-11-01
  • 0
    @Mariano: It's almost never the mathematician that confuses that. It's always the students. However I did have a teacher that wrote his $o$ similar to $\theta$, and more than once students were confused about that and asked "What is that $\theta$ over there?", I heard from another student that one time (in a course I did not take with him) he got confused as well.2011-11-01
  • 0
    @Asaf: I consider that a plus (in a not too subtle to feel less bad about my blackboard handwriting... :) ) in that it keeps students awake or completely asleep. Both of which are good!2011-11-01
  • 0
    @Mariano: If that is the case, you should start writing complex numbers as $\Xi$. Especially if conjugation is in order. :-)2011-11-01

1 Answers 1

3

Just for the sake of having an answer. (See http://meta.math.stackexchange.com/questions/1148/what-should-one-do-when-ones-question-has-been-answered-in-the-comments or http://meta.math.stackexchange.com/questions/1559/dealing-with-answers-in-comments or http://meta.math.stackexchange.com/questions/3138/unanswered-questions )

If we already know that $$\{(a,b)\times(c,d); a,b,c,d\in\mathbb R,a

We have $x\in(a,b)$, $y\in(c,d)$. Then there are rational numbers $a',b',c',d'$ such that $a'\in(a,x)$, $b'\in(b,x)$, $c'\in(c,y)$, $d'\in(y,d)$. Obviously $$[x,y]\in (a',b')\times(c',d')\subset(a,b)\times(c,d).$$


Note that the proof is an easy generalization of the proof of an analogous result for the real line. I've copied here Henno Brandsma's answer from Topology Q+A board.

In reply to "Countable basis of open intervals in R", posted by math layman on Feb 3, 2005:

R is $(-\infty, +\infty)$, how to find a countable basis of open intervals so that for any open point x inside of an open set B, there is an open interval within the basis which contains this point.

The set of intervals with rational endpoints does the trick.
If $x$ is inside an open set $B$, then there is an open interval $x \in (a,b) \subset B$.
But the interval $(a,x)$ contains a rational number $r_1$ and the interval $(x,b)$ contains a rational number $r_2$ and so $x \in (r_1, r_2) \in (a,b) \subset B$ and so there is an interval with rational endpoints inside every open set.
Henno