Understanding Equivalence Relations & O, o, ~ Notation

  • Context: Graduate 
  • Thread starter Thread starter Gear.0
  • Start date Start date
  • Tags Tags
    Equivalence Relation
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
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 [itex]g:\left[ a,b\right[\rightarrow\mathbb{C}[/itex] be an integrable function, and let [itex]f:\left[ a,b\right[\rightarrow\mathbb{C}[/itex] be a measurable function. Then

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


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

Basically I just have no clue what they mean by the [itex]O_{b}[/itex] and the little o as well, also the ~[itex]_{b}[/itex] 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.