# Thread: Metric Spaces and Topology

1. ## Metric Spaces and Topology

A and B are any sets in a metric space (X, d)
Prove that
(A U B )' = A' U B'

' meaning interior.

And then prove that

(A U B ) closure = A closure U B closure

I know that you have to prove it both ways, and that the proofs will be relativley similar, and I know that they are true. I'm just really confused on where to get started

2. Originally Posted by CollegeMathKid
A and B are any sets in a metric space (X, d)
Prove that
(A U B )' = A' U B'

' meaning interior.
This is not true: Take $X= \mathbb{R}$, $A=(0,1) \cap \mathbb{Q}$ $B= (0,1) \cap (\mathbb{R} - \mathbb{Q} )$ then $int(A)=int(B)=\emptyset$ but $int(A \cup B)=(0,1)$

3. Originally Posted by CollegeMathKid
A and B are any sets in a metric space (X, d)
Prove that
(A U B )' = A' U B', ' meaning interior.
That is false.
Let $A=[1,2]~\&~B=[2,3]$ then $2\in(A\cup B)^o=(1,3)$.

BUT $2\not\in A^o\cup B^o=(1,2)\cup(2,3)$.

4. However, you should be able to prove that $int(A)\cup int(B)\subseteq int(A\cup B)$.
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 9, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "http://mathhelpforum.com/differential-geometry/107855-metric-spaces-topology.html", "fetch_time": 1481296299000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2016-50/segments/1480698542712.12/warc/CC-MAIN-20161202170902-00346-ip-10-31-129-80.ec2.internal.warc.gz", "warc_record_offset": 171726933, "warc_record_length": 10859, "token_count": 371, "char_count": 1050, "score": 3.765625, "int_score": 4, "crawl": "CC-MAIN-2016-50", "snapshot_type": "longest", "language": "en", "language_score": 0.8362368941307068, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00022-of-00064.parquet"}