Continuity in topology and the pasting lemma

In summary, The conversation discusses continuity in topology, the pasting lemma, and an example involving the function l(x). The inverse image of the open set (1,3) under the functions x+2 and x-2 is discussed, and it is concluded that the inverse image of (1,3) under the function x-2 is empty, leading to the function l(x) being not continuous. The conversation also touches on the concept of unioning sets.
  • #1
trap101
342
0
So right now I am reading on continuity in topology, which is stated as a function is continuous if the open subset of the image has an open subset in the inverse image... that is not the issue.

I just read the pasting lemma which states:

Let X = A[itex]\cup[/itex]B, where A and B are closed in X. Let f: A-->Y and g: B-->Y. If f(x) = g(x) for every x [itex]\in[/itex] A[itex]\cap[/itex]B, then f and g combine to give a continuous function
h: X-->Y, defined by setting h(x)= f(x) if x[itex]\in[/itex]A and h(x) = g(x) if x[itex]\in[/itex]B.

Now they showed a couple of examples which I got except for this one:

l(x) = x-2, for x < 0 AND x+2 for x [itex]\geq[/itex]0

they go on to say that l(x) is not continuous because the inverse image of the open set (1,3) for instance is the nonopen set [0,1)

It's this last statement I am confused on how are they taking the inverse image of (1,3) and mapping it to the nonopen set? Seems like a simple enough concept but it is driving me bezerk.

Thanks in advance.
 
Physics news on Phys.org
  • #2
Can you describe what you think the inverse image of (1,3) should be? You can calculate the inverse image of (1,3) under the function x+2 and intersect it with [0,infty), and then find the inverse image of (1,3) under the function x-2 and intersect that with (-infty,0), and then union those two things together.
 
  • #3
Office_Shredder said:
Can you describe what you think the inverse image of (1,3) should be? You can calculate the inverse image of (1,3) under the function x+2 and intersect it with [0,infty), and then find the inverse image of (1,3) under the function x-2 and intersect that with (-infty,0), and then union those two things together.



Ok let's see if this is the right thing to do:

for the function x+2 and the image (1,3)

I set 1 = x+2 and solved for x and got -1, I did the same for the other end of the interval: 3 = x + 2 and got 1, so I concluded that the interval is (-1,1), but my domain is specifically stated as
x [itex]\geq[/itex]0, therefore the smallest value this part of the function can take on is at 0. So that implies:

[0,1).

Now I did the same exact process for the x-2 portion and got an interval of (3,5) but that completely falls out of the specified domain of the function. Now you mentioned taking the intersection, would that entail taking the intersection of [0,1) [itex]\cap[/itex] (3,5) in which case it is empty so there is no values that can satisfy the pasting lemma. Hence l(x) is not continuous. Right?
 
  • #4
trap101 said:
Ok let's see if this is the right thing to do:

for the function x+2 and the image (1,3)

I set 1 = x+2 and solved for x and got -1, I did the same for the other end of the interval: 3 = x + 2 and got 1, so I concluded that the interval is (-1,1), but my domain is specifically stated as
x [itex]\geq[/itex]0, therefore the smallest value this part of the function can take on is at 0. So that implies:

[0,1).

This part looks good
Now I did the same exact process for the x-2 portion and got an interval of (3,5) but that completely falls out of the specified domain of the function. Now you mentioned taking the intersection, would that entail taking the intersection of [0,1) [itex]\cap[/itex] (3,5) in which case it is empty so there is no values that can satisfy the pasting lemma. Hence l(x) is not continuous. Right?

This part less so. If x-2 lies in (1,3) then x is in (3,5). But you're only interested in x-2 when x<0, so there are NO values of x<0 for which f(x) lies in (1,3)

So the upshot is:
For x ≥ 0, if x is in [0,1) then f(x) is in (1,3).
For x < 0, there are no values of x such that f(x) is in (1,3).

How do you combine those two pieces of information?
 
  • #5
Office_Shredder said:
This part looks good


This part less so. If x-2 lies in (1,3) then x is in (3,5). But you're only interested in x-2 when x<0, so there are NO values of x<0 for which f(x) lies in (1,3)

So the upshot is:
For x ≥ 0, if x is in [0,1) then f(x) is in (1,3).
For x < 0, there are no values of x such that f(x) is in (1,3).

How do you combine those two pieces of information?

Well trying to go off of one of your previous suggestions, you mentioned I should union the sets together. So then would it be:

[0,1) [itex]\cup[/itex] (Empty Set) (can't find the empty set sign)

Now the reason I say empty set is because of the fact there are no values for x < 0

now the union of those two sets is [0,1) and from here you can see any value used in that interval doesn't provide equality between x-2 and x+2.
 
  • #6
trap101 said:
Well trying to go off of one of your previous suggestions, you mentioned I should union the sets together. So then would it be:

[0,1) [itex]\cup[/itex] (Empty Set) (can't find the empty set sign)

Now the reason I say empty set is because of the fact there are no values for x < 0

Do you understand why unioning them is the right thing to do?

now the union of those two sets is [0,1) and from here you can see any value used in that interval doesn't provide equality between x-2 and x+2.

This isn't a terribly relevant fact, all that matters is that you took the inverse image of an open set and you got [0,1), which is not open.
 
  • #7
Office_Shredder said:
Do you understand why unioning them is the right thing to do?



This isn't a terribly relevant fact, all that matters is that you took the inverse image of an open set and you got [0,1), which is not open.

No I don't see why unioning them is the right thing to do, beyond perhaps trying to include everything in the set...

Ok, so I took this image and got a set which was not open, but the only reason it was not open was because of the conditions on the function. If I didn't know the conditions of the function is there a way to deduce if a set is closed, open, etc?
 
  • #8
trap101 said:
No I don't see why unioning them is the right thing to do, beyond perhaps trying to include everything in the set...

Ok, so I took this image and got a set which was not open, but the only reason it was not open was because of the conditions on the function. If I didn't know the conditions of the function is there a way to deduce if a set is closed, open, etc?

If you don't fully know the function I don't see how you could decide on what the inverse image is.

As to why you unioned them, you should go back to what the definition of an inverse image of a set is and try to work out why what we did makes sense as a procedure.
 
  • #9
Office_Shredder said:
As to why you unioned them, you should go back to what the definition of an inverse image of a set is and try to work out why what we did makes sense as a procedure.

Well the definition of an inverse image is, the set U[itex]\subset[/itex]f-1(X) such that f(U) [itex]\subset[/itex] Y

and now the reason we union the sets is (to build on the vague explanation I gave) to include all of the elements that satisfy the condition of the inverse image. That is, for every element
"b" [itex]\in[/itex] f(x) [itex]\subset[/itex]Y, there exists an element
"a" [itex]\in[/itex] f-1 such that f(a) = b [itex]\in[/itex] f(x)
 

What is continuity in topology?

Continuity is a concept in topology that refers to the idea that small changes in the input of a function result in small changes in the output. It is a fundamental property of topological spaces and is essential for understanding the properties of these spaces.

How is continuity defined in topology?

In topology, continuity is defined as follows: a function between two topological spaces is continuous if the inverse image of any open set in the output space is an open set in the input space.

What is the pasting lemma in topology?

The pasting lemma is a fundamental result in topology that states that if two topological spaces are glued together along a common boundary, then the resulting space is also a topological space. This lemma is useful in proving the continuity of functions between topological spaces.

How is the pasting lemma used in topology?

The pasting lemma is commonly used in topology to construct new topological spaces by gluing together simpler spaces. It is also used in proving the continuity of functions between topological spaces, as it provides a useful tool for showing that the resulting space is still a topological space.

What are some applications of the pasting lemma in topology?

The pasting lemma has many applications in topology, including in the construction of new topological spaces, in the proof of important theorems, and in understanding the properties of topological spaces. It is a powerful tool that is used extensively in the study of topology.

Similar threads

  • Calculus and Beyond Homework Help
Replies
12
Views
1K
  • Calculus and Beyond Homework Help
Replies
5
Views
103
  • Calculus and Beyond Homework Help
Replies
23
Views
1K
  • Calculus and Beyond Homework Help
Replies
5
Views
1K
  • Calculus and Beyond Homework Help
Replies
8
Views
348
  • Calculus and Beyond Homework Help
Replies
2
Views
1K
  • Calculus and Beyond Homework Help
Replies
20
Views
2K
  • Calculus and Beyond Homework Help
Replies
4
Views
2K
  • Calculus and Beyond Homework Help
Replies
3
Views
515
  • Calculus and Beyond Homework Help
Replies
11
Views
1K
Back
Top