Understanding Equivalence Relations & O, o, ~ Notation

  • Context: Graduate 
  • Thread starter Thread starter Gear.0
  • Start date Start date
  • Tags Tags
    Equivalence Relation
Click For Summary
SUMMARY

The discussion clarifies the meanings of the notations O, o, and ~ in the context of equivalence relations and integrable functions. Specifically, O_{b}(g) indicates that function f is of the same order as g, while o_{b}(g) signifies that f is of a smaller order than g, with the ratio approaching zero. The notation ~_{b} suggests an equivalence relation between f and g, indicating that they are asymptotically equivalent. Understanding these notations is essential for applying the Comparison Theorem in analysis.

PREREQUISITES
  • Understanding of integrable functions and measurable functions
  • Familiarity with asymptotic notation in mathematical analysis
  • Basic knowledge of equivalence relations
  • Proficiency in LaTeX for mathematical expressions
NEXT STEPS
  • Study the Comparison Theorem in detail, focusing on its applications in real analysis
  • Learn more about asymptotic notation, specifically the differences between O, o, and ~ notations
  • Explore integrability conditions for measurable functions
  • Practice writing mathematical expressions in LaTeX, particularly subscripts and special symbols
USEFUL FOR

This discussion is beneficial for students and professionals in mathematics, particularly those studying real analysis, as well as educators teaching these concepts. It is also useful for anyone seeking to deepen their understanding of asymptotic notation and its applications in mathematical proofs.

Gear.0
Messages
66
Reaction score
0
Sorry for such a basic question, but I don't know what they mean by the O, o, and ~ in a book I am reading. I'll write out the whole thing to show what I am asking about as well as to give context.
Those symbols appear in ii) and iii) below. Also note that I wrote them here as having a subscript 'b', but in the book they are actually directly below the O's or the ~, I just couldn't figure you how to get the 'b' below them in LaTeX.

----------------------------------------------

PROPOSITION 3.5 (Comparison theorem) Let g:\left[ a,b\right[\rightarrow\mathbb{C} be an integrable function, and let f:\left[ a,b\right[\rightarrow\mathbb{C} be a measurable function. Then

i) if \left| f \right| \leq \left| g \right|, then f is integrable on \left[ a,b \right[;
ii) if f=O_{b}\left( g\right) or if f=o_{b}\left( g\right) and if f is integrable on any interval \left[ a,c\right] with c<b, then f is integrable on \left[ a,b\right[;
iii) if g is non-negative, f~_{b} g, and f is integrable on any interval \left[ a,c\right] with c<b, then f is integrable on \left[ a,b\right[.


----------------------------------------------

Basically I just have no clue what they mean by the O_{b} and the little o as well, also the ~_{b} is foreign to me.. I was able to find some info on the latter however, I think the '~' refers to an "equivalence relation".

BTW: for the O, o, and ~, the subscript b is actually displayed directly beneath the O, o, or ~ where it appears. I just could not seem to get it to go below in LaTeX.
 
Last edited:
Physics news on Phys.org


The notation is a little strange, as far as the b is concerned. The author may be referring to properties around b.
O means same order (ratio bounded), o means smaller order (ratio -> 0). ~ is similar to O - I am not sure of the distinction the author is making.
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K