Questions on notations about supremum

  • Thread starter Thread starter julypraise
  • Start date Start date
  • Tags Tags
    Supremum
Click For Summary
SUMMARY

The discussion clarifies the meanings of the supremum notations \(\sup_{k\in\mathbb{N}}|x_{k}|\) and \(\sup_{x\in [a, b]}|f(x)-g(x)|\). The first notation represents the supremum of the absolute values of a real sequence \((x_{k})\), while the second denotes the supremum of the absolute difference between two real-valued functions \(f\) and \(g\) over the interval \([a, b]\). The conversation also highlights the common practice of omitting details in supremum expressions, particularly in the context of bounded linear operators on Hilbert spaces.

PREREQUISITES
  • Understanding of supremum and infimum concepts in real analysis
  • Familiarity with sequences and functions in mathematical analysis
  • Knowledge of Hilbert spaces and bounded linear operators
  • Basic proficiency in mathematical notation and symbols
NEXT STEPS
  • Study the properties of supremum and infimum in real analysis
  • Explore the concept of bounded linear operators in Hilbert spaces
  • Learn about the applications of supremum in optimization problems
  • Investigate the differences between supremum and maximum in mathematical contexts
USEFUL FOR

Students of mathematics, particularly those studying real analysis, as well as educators and researchers focusing on mathematical notation and its applications in analysis and operator theory.

julypraise
Messages
104
Reaction score
0

Homework Statement



In usual textbooks, what are the meanings of the notations

(1) [itex]\sup_{k\in\mathbb{N}}|x_{k}|[/itex]

(2) [itex]\sup_{x\in [ a , b ] }|f(x)-g(x)|[/itex]

where [itex](x_{k})[/itex] is a real sequence and [itex]f[/itex] and [itex]g[/itex] are real valued functions



Homework Equations



None.



The Attempt at a Solution



The meaning I guessed is that

(1) [itex]\sup_{k\in\mathbb{N}}|x_{k}|=\sup\{|x_{k}|:k\in \mathbb{N}\}[/itex]

(2) [itex]\sup_{x\in[a,b]}|f(x)-g(x)|=\sup\{|f(x)-g(x)|:x\in[a,b]\}[/itex].
 
Physics news on Phys.org
Your guess is correct.

I should also mention that when a supremum is written in the shorter form, it is (I believe) common to leave out some information. For example, if T is a bounded linear operator on a Hilbert space ##\mathcal H##, I would write
$$\sup_{\|x\|=1}\|Tx\|,$$ instead of
$$\sup\big\{\|Tx\|:x\in\mathcal H,\ \|x\|=1\big\}$$ and
$$\sup_{x\in\mathcal H}\frac{\|Tx\|}{\|x\|}$$ instead of
$$\sup\bigg\{\frac{\|Tx\|}{\|x\|}\bigg|\ x \in\mathcal H,\ x\neq 0\bigg\}.$$
 

Similar threads

  • · Replies 20 ·
Replies
20
Views
3K
Replies
4
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
584
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 17 ·
Replies
17
Views
3K
Replies
3
Views
2K