Determine if this subset is compact

  • Thread starter Thread starter complexnumber
  • Start date Start date
  • Tags Tags
    Compact
Click For Summary
SUMMARY

The discussion focuses on determining the compactness of two subsets, S_1 and S_2, within the metric space (C[0,1], d_infinity). S_1, consisting of constant functions in B(0,1), is concluded to be non-compact due to the presence of the limit point f = 0, which lies outside S_1. In contrast, S_2, defined as the set of functions where ||f||_infinity = 1, is bounded but lacks equicontinuity, raising questions about its closedness and compactness.

PREREQUISITES
  • Understanding of the Arzelà-Ascoli theorem
  • Familiarity with supremum norm and its properties
  • Knowledge of metric spaces and their definitions
  • Concept of equicontinuity in function spaces
NEXT STEPS
  • Study the Arzelà-Ascoli theorem in detail
  • Learn about the properties of the supremum norm ||f||_infinity
  • Research the concept of equicontinuity and its implications for compactness
  • Explore examples of closed and bounded subsets in metric spaces
USEFUL FOR

Mathematics students, particularly those studying functional analysis, and anyone interested in the properties of compact subsets in metric spaces.

complexnumber
Messages
61
Reaction score
0

Homework Statement



Let (X,d) = (C[0,1], d_\infty), S_1 is the set of constant
functions in B(0,1), and S_2 = \{ f \in C[0,1] | \norm{f}_\infty<br /> = 1\}.

Are S_1 and S_2 compact?

Homework Equations


The Attempt at a Solution



I am trying to use the Arzela - Ascoli theorem. For S_1, the set of functions with value in the ball (assuming that's what the question meant) B(0,1) are bounded. They are also equicontinuous at all x \in [0,1]. How do I show if the subset is closed or not?

For S_2, how does the norm ||f||_\infty = 1 determine if the set is closed, bounded and equicontinuous? What is the norm ||f||_\infty = 1 defined as?
 
Last edited:
Physics news on Phys.org
Well, first you have to understand the notation and definitions. d_\infty is just the metric induced by the supremum norm:

\|f\|_\infty:=\sup_{x\in[0,1]} |f(x)|
 
Landau said:
Well, first you have to understand the notation and definitions. d_\infty is just the metric induced by the supremum norm:

\|f\|_\infty:=\sup_{x\in[0,1]} |f(x)|

S_1 is not closed because the function f = 0 is a limit point
outside S_1. Therefore S_1 is not compact.


For S_2, the metric space d_\infty(f,g) := \norm{f -<br /> g}_\infty means that it is bounded, however it does not make S_2 equicontinuous. Is the subset closed?
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
4
Views
2K
  • · Replies 16 ·
Replies
16
Views
3K
Replies
2
Views
2K
Replies
15
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
2K