Definition 3
Tag 08E0, permanent. Cite it as [Bourbaki, Tag 08E0].
Functions of a Real Variable, chapter V, § 1. COMPARISON OF FUNCTIONS ON A FILTERED SET
Given two real functions belonging to , which are on a set in , one says that is negligible relative to , or that is preponderant over (along ), and one writes or if, for every , there exists a set such that for every .
Given two normed spaces and two functions belonging to and respectively, one says that is negligible relative to (along ), and one writes or , if .
For every scalar the relation is equivalent to . The relation implies but is not equivalent to it.
Note that the relation by no means implies the relation " or ": one has as tends to , but neither of the relations or is true.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.