Recent content by rickhev

Looks good to me. Thanks very much.

Thanks, it's mostly fixed. The phrase 'irrational multiplied by a rational' should also be changed to 'irrational multiplied by a non-zero rational'. Would you please make that change too?

What do you mean? I've already found it.

Why not?

Thanks, I followed your suggestion.

I wanted to correct the answer to a thread, but it has been closed. What should I do? (The thread is https://www.physicsforums.com/threads/proove-that-the-cubic-root-of-2-the-square-root-of-2-is-irrational.270791/.)

Here is part 2: Now suppose that X is hereditarily normal. For any set Y \subset X we define \tilde{Y} = X - Y. Let A, B be mutually separated sets in X. We must show that there are disjoint open sets U, V in X with A \subset U and B \subset V. Clearly, A \subset \tilde{\overline{B}} and...

I am breaking this reply into two parts because I get a "Database Error" when I combine them and do a "Preview Post." Here is part 1: If X has property (a), it is said to be completely normal. X is hereditarily normal provided that every subset of X is normal. That (a) implies (b) is...