Note on continuons independent functions. (Q2585264)

Eine eindeutige, reelle, endliche Funktion \(h (x)\) erfüllt im Intervall \(I\) die ``Be\-dingung (\(T_2'\))'', wenn (mindestens) ein Wert von \(h(x)\) existiert, welcher in \(I\) höch\-stens abzählbar oft angenommen wird. -- Ferner worden zwei reelle Funktionen (mit gemeinsamem Definitionsbereich) \(f (x)\) und \(g(x)\) als \textit{unabhängig} bezeichnet, wenn folgendes gilt: Wird \(\mathfrak F(\alpha,\beta)=\underset {x} E\;[\alpha\underset{(=)}< f(x) \underset{(=)}< \beta]\), \(\mathfrak G(\gamma, \delta) =\underset {x} E\;[\gamma\underset{(=)}< g (x) \underset{(=)}< \delta]\) gesetzt, so gilt \(|\mathfrak F(\alpha,\beta)\cdot\mathfrak G(\gamma,\delta)| = |\mathfrak F(\alpha,\beta)|\cdot|\mathfrak G(\gamma,\delta)|\) für alle \(\alpha\), \(\beta\), \(\gamma\), \(\delta\). -Es wird bewiesen: Es seien \(f(x)\) und \(g (x)\) in \([a, b]\) eindeutig, stetig und jede min\-destens zweiwertig. Genügt mindestens eine von ihnen in \([a,b]\) der Bedingung \((T_2')\), so sind \(f (x)\) und \(g (x)\) nicht unabhängig. Also: Sind die eindeutigen, stetigen, min\-destens zweiwertigen \(f (x)\), \(g(x)\) unabhängig, so nimmt jede von ihnen jeden ihrer Werte überabzählbar oft an.