Example 3
Tag 08EV, permanent. Cite it as [Bourbaki, Tag 08EV].
Functions of a Real Variable, chapter V, § 2. ASYMPTOTIC EXPANSIONS
Let F be normed space; the family of functions ( an arbitrary real number) is a comparison scale when is the trace on the complement of of the filter of neighbourhoods of this point. Note that if and are two distinct norms on F, the union of the two comparison scales and is not in general a comparison scale.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.