- #1
Gear.0
- 66
- 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.
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: