help needed here please

At vero eos et accusamus et iusto odio dignissimos ducimus qui blanditiis praesentium voluptatum deleniti atque corrupti quos dolores et quas molestias excepturi sint occaecati cupiditate non provident, similique sunt in culpa qui officia deserunt mollitia animi, id est laborum et dolorum fuga. Et harum quidem rerum facilis est et expedita distinctio. Nam libero tempore, cum soluta nobis est eligendi optio cumque nihil impedit quo minus id quod maxime placeat facere possimus, omnis voluptas assumenda est, omnis dolor repellendus. Itaque earum rerum hic tenetur a sapiente delectus, ut aut reiciendis voluptatibus maiores alias consequatur aut perferendis doloribus asperiores repellat.

Get our expert's

answer on brainly

SEE EXPERT ANSWER

Get your free account and access expert answers to this and thousands of other questions.

A community for students.

help needed here please

Mathematics
See more answers at brainly.com
At vero eos et accusamus et iusto odio dignissimos ducimus qui blanditiis praesentium voluptatum deleniti atque corrupti quos dolores et quas molestias excepturi sint occaecati cupiditate non provident, similique sunt in culpa qui officia deserunt mollitia animi, id est laborum et dolorum fuga. Et harum quidem rerum facilis est et expedita distinctio. Nam libero tempore, cum soluta nobis est eligendi optio cumque nihil impedit quo minus id quod maxime placeat facere possimus, omnis voluptas assumenda est, omnis dolor repellendus. Itaque earum rerum hic tenetur a sapiente delectus, ut aut reiciendis voluptatibus maiores alias consequatur aut perferendis doloribus asperiores repellat.

Get this expert

answer on brainly

SEE EXPERT ANSWER

Get your free account and access expert answers to this and thousands of other questions

Let X be a complete metric space and {On} is countable collection of dense open subset of X. Show that On is not empty.
I can solve that question using the Theorem of Category of Baire

Not the answer you are looking for?

Search for more explanations.

Ask your own question

Other answers:

yes please use that theorem
ok!
Using that theorem, we can state this: since X is a complete metric space, then any countable collection of dense open subsets has dense intersection
ok
now, let: \[\Large {O_n} = {\left\{ {{V_n}} \right\}_{n \in \mathbb{N}}}\] be our countable collection
ok please continue , i am here
the subsequent set: \[\Large \overline {{ \cap _n}{V_n}} = X\]
since by the Baire's theorem the set: \[\Large {{ \cap _n}{V_n}}\] is dense in X
is that all?
no, please let's suppose, by absurdum, that On is empty
that means each Vn is empty: \[\Large {O_n} = \emptyset \Rightarrow {V_n} = \emptyset ,\quad \forall n\]
ok
so, also the intersection is empty: \[\Large { \cap _n}{V_n} = \emptyset \]
because the intersection of empty sets is also empty
yap
now, the empty set is both a closed and open set, and we can write this: \[\Large \emptyset = \overline \emptyset = \overline {{ \cap _n}{V_n}} = X\] which is a contradiction, since by hypothesis, X is not empty
that's all!
thanks . want to copy it and study but can i ask ine last question for now?
ok!
Let (X, d) and (Y, d) be metric spaces and f a mapping of X into Y. Let τ1 and τ2 be the topologies determined by d and d1 respectively. Then f(X, τ) (y, τ) is continuous if and only if ; that is if x1, x2, . . . , xn, . . . , is a sequence of points in (X, d) converging to x, show that the sequence of points f(x1), f(x2), . . . , f(xn), . . . in (Y, d) converges to x.
please I have to go out now, I will come back between 2 hours
a proof can be this: let's suppose that f is contnuous, then the sequence x1, x2,...xn can be viewed as a continuous function from the set of natural number to the metric space (X,d), therefore, using the theorem of composition of continuous function, we can say that the function: \[\Large \mathbb{N} \to Y:n \to f\left( {{x_n}} \right)\] is also continuous and we have: \[\Large \mathop {\lim }\limits_{n \to \infty } f\left( {{x_n}} \right) = f\left( {{x_0}} \right)\]
vice versa, let's suppose that f is not a continuous function at x_0. Then we can find a neighborhood V around f(x_0) of Y, such that for each neighborhood U around x_0 of X we have: \[\Large f\left( U \right) \not\subset V\] We can choose each of Us like a ball of radius r= 1/n, n=1,2,3,.... Inside each of such balls U, we can find an element x_n such that: \[\Large f\left( {{x_n}} \right) \notin V\] in so doing we got a subsequence x1, x2,...,xn which converges to x_0, nevertheless f(x_n) doesn't converge to f(x_0), namely a contradiction
ok
is that all?
yes! we are done
waw, thanks .
:)

Not the answer you are looking for?

Search for more explanations.

Ask your own question