The sets$$\big\{ \{f\in C(X) : |g-f| \le u \} \;\big\vert\; g\in C(x) \text{ and } u \text{ is a positive unit of } C(X)\big\}$$ form a base for some topology on $C(X)$. Corresponding to this topology, how to show that multiplication is continuous on $C(X)^2$? Moreover if $U$ denotes the set of all units in $C(X)$, how to show the function $f \mapsto 1/f$ is continuous on U?
How to show multiplication and inversion are continuous in this topology on $C(X)$?
-
1Sorry, but what is $C(X)$? I think I could do the question if I knew what you mean't. – 2012-05-18
-
0C(X) is the set of all real-valued continuous functions on X. Here X is an arbitrary topological space. – 2012-05-19
1 Answers
I assume $C(X)$ is the space of continuous real-valued (or perhaps complex-valued) functions on some topological space $X$. Any (strictly) positive continuous function is a positive unit of $C(X)$.
Note that $$|f_1 f_2 - g_1 g_2| \le |f_1| |f_2 - g_2| + |g_2| |f_1 - g_1| \le (|g_1| + |f_1 - g_1|) |f_2 - g_2| + |g_2| |f_1 - g_1|$$ Given $g_1, g_2 \in C(X)$ and positive unit $u$, if $|f_1 - g_1| < \min(1, u/(2 |g_2|))$ and $|f_2 - g_2| < u/(2 |g_1| + 2)$ then $|f_1 f_2 - g_1 g_2| < u$. This shows that multiplication is continuous.
For $f \mapsto 1/f$, note that $ \dfrac{1}{f} - \dfrac{1}{g} = \dfrac{g-f}{fg}$ If $g$ is a unit and $u$ a positive unit, then for any $f$ with $|f - g| < \min(u|g|^2/2, |g|/2)$ we have $|f| \ge |g| - |f - g| > |g|/2 > 0$ and so $$ \left|\dfrac{1}{f} - \dfrac{1}{g}\right| \le \dfrac{|f-g|}{|f||g|} < \dfrac{u |g|^2/2}{|g|^2/2} = u$$
-
0I doubt whether min(1,u/(2|g2|)) is defined on X for g2 may takes the value zero at some point on X. – 2012-05-19
-
0@BilashMajumder: if $g_2=0$, then $\min(1, u/(2 |g_2|))=1$. – 2012-05-19
-
0@robjohn: If min(1,u/(2|g_2|))=1∧(u/(2|g_2|)) then how is it possible? Sorry having trouble to get it !! Please elaborate a little. – 2012-05-20
-
0@BilashMajumder: $\min(x,y)$ is the minimum of $x$ and $y$, so if $y\to\infty$, $\min(x,y)\to x$. – 2012-05-20
-
0Rather than arguing over what $\min(1, u/(2 |g_2|))$ means, just not that if $g_2 = 0$, $|f_1 - g_2| < 1$ and $|f_2 - g_2| < u/(2(|g_1|+2)$ will be enough. – 2012-05-20