Showing that a given function is continous over a certain topology

  • Thread starter Thread starter trap101
  • Start date Start date
  • Tags Tags
    Function Topology
Click For Summary

Homework Help Overview

The discussion revolves around the continuity of functions defined on the space R^ω under different topologies, specifically the product topology, box topology, and uniform topology. The original poster is trying to understand how to apply the definition of continuity in the context of these topologies to the functions h and g.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • The original poster attempts to clarify the application of the continuity definition by questioning whether to consider the function's output as an open set or to take an arbitrary basis element. They express confusion about the pre-image and its openness.
  • Some participants question how the inverse image of the function g leads to the singleton set {0} and whether this involves examining each coordinate function individually.
  • Another participant suggests considering the limit as n approaches infinity to understand the behavior of the function g.

Discussion Status

Participants are exploring different interpretations of the continuity definition and how it applies to the functions in question. There is a productive exchange regarding the implications of the box topology on continuity, with references to external resources for further context.

Contextual Notes

There is an emphasis on understanding the implications of the box topology and the behavior of open sets in relation to the functions being analyzed. The original poster notes a specific example from Wikipedia that illustrates the challenges of continuity in this context.

trap101
Messages
339
Reaction score
0
Consider the maps h: R^w (omega) ---> R^w (omega) , h (x1, x2, x3,...) = (x1,4x2, 9x3,...)
g: (same dimension mapping) , g (t) = (t, t, t, t, t,...)

Is h continuous whn given the product topology, box topology, uniform topology?

For the life of me i am having trouble trying to understand what i need to do to accomplish this. I know that the definition of continuous in topology is that the pre image f^-1 (v) of an open set v has to be open, but how do i apply that to this sort of situation?

Take the function h, am i assuming that (x1, 4x2, 9x3,...) is my open set or am i going to take an arbitrary basis element of my open set that looks like (x1, 4x2, 9x3,...) apply the preimage to that, and then if it is open then i can conclude the function is continuous?

I saw a solution for the function g, and they said it is not open in the box topology. They took th open set [-1/(n^2) , 1/(n^2)] and said taking the inverse image of g the set is {0}. How did they do this? I fail to see the connection. Please help I've been stuck here all day tryimg to make sense of this.

 
Physics news on Phys.org
I imagine that for g, they were taking the limit as ##n \to \infty##. This would give you an open set for the image, but in the limit, the pre-image is the closed singleton {0}.
 
RUber said:
I imagine that for g, they were taking the limit as ##n \to \infty##. This would give you an open set for the image, but in the limit, the pre-image is the closed singleton {0}.
Yes, but how do they get that singleton is my question. Is it that you look at each inverse image of each coordinate function individually and take the intersection of those , which produces the common point 0?
 
Assume that ##U## is an open set ##U=(-1/n^2, 1/n^2)##, for ##V=g^{-1}(U) ## to be open, there must be ##\epsilon \in V, \, \epsilon \neq 0 ##, such that ##g(\epsilon) \in U##. But for any epsilon, there is an ##n ## that makes ##g(\epsilon) \notin U##.
You could also think of ##U = (-\epsilon, \epsilon)## if this helps.
Wikipedia uses exactly this example to describe how box topology fails at continuity tests: http://en.wikipedia.org/wiki/Box_topology
 

Similar threads

  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
5K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K