Prove that [itex]f: X \rightarrow Y[/itex] is a continuous function.

In summary, the conversation discusses a problem involving a function between two topological spaces and its continuity. The given information states that the function is continuous if the preimage of any open or closed set is open or closed, and that an element is in the closure of a set if every neighborhood of it intersects the set. There are also other characterizations of continuity that could be useful in this case. The speaker has received some answers but is still looking for different ideas to solve the problem.
  • #1
Maths Lover
68
0
My question is:

Let [itex]f:\bigcup_{\alpha}A_{\alpha} \rightarrow Y[/itex] be a function between the topological spaces Y and [itex]X=\bigcup_{\alpha}A_{\alpha}[/itex]. Suppose that [itex]f|A_{\alpha}[/itex] is a continuous function for every [itex]\alpha[/itex] and that [itex]{A_{\alpha}}[/itex] is locally finite collection. Suppose that [itex]A_{\alpha}[/itex] is closed for every [itex]\alpha[/itex].

Show that: [itex]f[/itex] is continuous.

Any hints?

I'm stuck with this problem for some days. Some gave me answers on mathematics stackexchange. but it didn't make much sense.
 
Physics news on Phys.org
  • #2
What definition of continuity would you use?
 
  • #3
micromass said:
What definition of continuity would you use?

ِA function [itex]f:X \rightarrow Y[/itex] between two topological spaces [itex]X[/itex] and [itex]Y[/itex] is continuous if the preimage of any open set of [itex]Y[/itex] is an open set of [itex]X[/itex].
 
  • #4
Maths Lover said:
ِA function [itex]f:X \rightarrow Y[/itex] between two topological spaces [itex]X[/itex] and [itex]Y[/itex] is continuous if the preimage of any open set of [itex]Y[/itex] is an open set of [itex]X[/itex].

Yes. Do you perhaps know of others characterizations of continuity that would be more handy in this case?
 
  • #5
Sure, I know that a function is continuous if the preimage of an closed set is closed. and a set is closed iff its closure is the set itself. I lately heared that an element x is in the closure of a set if every neighborhood of [itex]x[/itex] intersects the set itself.

a function is continuous iff for every [itex]x[/itex] in the domain. the preimage of a neighborhood [itex]U[/itex] of [itex]f(x)[/itex] is a neighborhood of [itex]x[/itex].

Note: I got an answer for the question here (Mathematics StackExchange )but I still concerned in knowing different ideas for the problem as it puzzeled me for several days :)
 

FAQ: Prove that [itex]f: X \rightarrow Y[/itex] is a continuous function.

What does it mean for a function to be continuous?

A continuous function is one where small changes in the input result in small changes in the output. In other words, if the input values are close together, then the output values will also be close together.

How can you prove that a function is continuous?

To prove that a function is continuous, you must show that the limit of the function as the input approaches a specific value is equal to the value of the function at that point. This can be done using the epsilon-delta definition of continuity or by using the intermediate value theorem.

What is the epsilon-delta definition of continuity?

The epsilon-delta definition of continuity states that for any positive number epsilon, there exists a positive number delta such that if the distance between the input values is less than delta, then the distance between the output values will be less than epsilon.

How does the intermediate value theorem prove continuity?

The intermediate value theorem states that if a function is continuous on a closed interval, then it takes on every value between the values of the function at the endpoints of the interval. Therefore, if a function satisfies this theorem, it is proven to be continuous on that interval.

Can a function be continuous at some points and not at others?

No, a function is either continuous or not continuous on its entire domain. If a function is not continuous at a specific point, it is not considered to be a continuous function. However, it is possible for a function to be continuous on a subset of its domain and not continuous on the rest.

Back
Top