Are all functions from a discrete topological space to itself continuous?

Click For Summary

Homework Help Overview

The discussion revolves around the continuity of functions from a discrete topological space to itself, specifically examining whether all functions are continuous in this context and contrasting this with the continuity of functions in the indiscrete topology.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • The original poster attempts to demonstrate that all functions from a discrete topology are continuous by referencing the properties of open sets. They also question the nature of continuous functions in the indiscrete topology, specifically regarding constant functions.
  • Some participants confirm the original poster's reasoning about the discrete topology and clarify the definition of constant functions, while also questioning the terminology used for the indiscrete topology.
  • Others raise a point of contention regarding the claim that only constant functions are continuous in the indiscrete topology, using the identity function as a counterexample.

Discussion Status

Contextual Notes

Participants are navigating terminology differences, particularly regarding the "concrete" topology, which is identified as the indiscrete topology. The discussion includes assumptions about the definitions of open sets in different topological spaces.

Nusc
Messages
752
Reaction score
2
I need to show all fxn f: X -> X are cts in the discrete top. and that the only cts fxns in the concrete top are the csnt fxns.


Let (X,T) be a discrete top with T open sets.

Let f: X->X. WTS that f:X->X is cts if for every open set G in the image of X, f^-1(G) = V is an open in X when V is a subset of X.


Since (X,T) is a discrete top, V in the power set of X must be open. Since T is open and T = PX this implies that f is cts.

Is there anything wrong with that?

As for the xecond half, I'm not sure. When they say cnst fxns do they mean f(c) = c?
 
Physics news on Phys.org
Nothing wrong with that. In the discrete topology, every set is open. If f is any function, A any open set (any set) then f-1(A) is a set and therefore open.

No, f(c)= c is the identity function: f(x)= x. A constant function is of the form f(x)= c for all x in the set.

I'm not sure what you mean by the "concrete" topology. Is that the topology in which the only open sets are X and the empty set? (I would call it the "indiscrete" topology.)
 
Yes that's the concrete top
 
Are you sure it's true that the only continuous functions are the constant functions? If f(x)= x, the identity function, then f-1(empty set)= empty set and f-1(X)= X. That is, the inverse images of the only open sets are open.
 

Similar threads

Replies
23
Views
4K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
Replies
20
Views
5K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
5K