Dans ce travail l'auteur s'occupe du problème de la mesure et des trois problèmes connexes suivants: Problème: Dans son livre "Leçons sur l'intégration" (Paris 1905) Monsieur Lebesgue énonce les propriétés de son intégrale: 1. Quels que soient a, b, h, on a ∫_{a}^{b}f(x)dx =
∫_{a+h}^{b+h}f(x-h)dx 2. Quels que soient a, b, c, on a ∫_{a}^{b}f(x)dx + ∫_{b}^{c}f(x)dx +∫_{c}^{a}f(x)dx = 0 3. ∫_{a}^{b}[f(x)+φ(x)]dx = ∫_{a}^{b}f(x)dx +∫_{a}^{b}φ(x)dx 4. Si l'on a f ≤ 0 et b>a, on a aussi ∫_{a}^{b}f(x)dx ≥ 0. 5. On a ∫_{0}^{1}adx = 1. 6. Si f_{n}(x) tend en croissant vers f(x), l'intégrale de f_{n}(x) tend vers celle de f(x). En même temps Monsieur Lebesgue pose le problème si la propriété (6) est indépendante de cinq autres. Problème: Dans son livre "Grundzüge der Mengenlehre" (Leipzig 1914) Monsieur Hausdorff s'occupe du problème suivant: Peut-on attacher à chaque ensemble borné E d'un espace à m dimensions un nombre m(E) satisfaisant aux conditions suivantes: 1. m(E) ≥ 0, 2. m(E_0) =1 pour un ensemble E_0 de l'espace considéré, 3. m(E_1+E_2) = m(E_1) + m(E_2), si E_1E_2=0, 4. m(E_1) = m(E_2) si les ensembles E_1 et E_2 sont superposables. Il prouve que ce problème est impossible pour l'espace à trois ou plus dimensions. Dans cette note on s'occupe du problème analogue pour l'espace à une ou deux dimensions. Problème: Monsieur Ruziewicz a posé le problème suivant: Existe-il une opérion f(X) satisfaisant aux conditions suivantes: 1. f(X) est définie pour tout ensemble mesurable (L) d'un espace à n dimensions, 2. f(X) ≥ 0, 3. f(X_0) = 1 pour un certain ensemble X_0 tel que m(X_0) = 1, 4. f(X+Y) = f(X) + f(Y) pour X · Y=0, 5. f(X) = f(Y) si X ≅ Y, 6. f(X_1) ≠ m(X_1) pour un certain ensemble X_1 mesurable (L).
Mniej
Więcej
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Le but de cette note est de démontrer: Théorème: Si C est un arc simple dans le plan, la condition nécessaire et suffisante pour que C soit rectifiable est que les fonctions N_x(s,C) et N_y(s,C) soient intégrale, ou N_x(s,C) désigne le nombre de points en lesquels la droite x=s coupe l'arc C.
Théorème: La condition nécessaire et suffisante pour que la fonction continue y=f(x) à variation bornée soit absolument continue est que tout ensemble de mesure nulle situe sur l'axe d'abscisses soit transformé par cette fonction en un ensemble de mesure nulle situe sur l'axe d'ordonnées.
Mniej
Więcej
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Dan ce mémoire l'auteur s'occupe des fonctions d'ensembles définies pour les ensembles formant un corps K_0. Le corps K_0 est le produit de toutes les classes K de sous-ensembes du carre aux sommets (0,0), (0,1), (1,0), (1,1) (carre fondamental) satisfaisant aux conditions suivantes: 1. Tout
carre ferme, contenu dans le carre fondamental, appartient à K; 2. Si E_1 et E_2 appartient à K, et si E_1E_2=0, alors E_1+E_2 appartient à K; 3. Si E_1 et E_2 appartient à K et E_2 ⊂ E_1, alors E_1-E_2 appartient à K.
Mniej
Więcej
7
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Le but de cette note est de démontrer que toute fonction mesurable f(x) satisfaisant à l'équation fonctionnelle f(x+y)=f(x)+f(y) est continue (donc, d'après Cauchy, de la forme Ax).
8
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Théorème: Soit E un ensemble plan quelconque mais borné et contenu dans un ensemble ouvert et borné Ω. Supposons qu'à tout point P de E correspond une suite infinie {W_i(P)} (i=1,2,...) des ensembles fermés W_i(P) contenus dans Ω et remplissant les hypothèses suivantes: 1. W_i(P) est situe
dans un cercle K_i(P) dont P est le centre, 2. lim_(i → ∞) |K_i(P)| = 0 (La notation |X| signifie la mesure lebesguienne de X, si X est mesurable (L)) 3. il existe un nombre positif α tel que l'inégalité |W_i(P)|/|K_i(P)| > α a lieu pour i naturel et pour tout P de E; alors il existe une suite finie ou infinie {P_n} des points appartenant à E et une suite des nombres naturelles {a_n}, telles que les ensembles W_{a_n}(P_n) aient les propriétés 1. que leur somme ∑_{n=1}^{∞}Z_n recouvre presque tout l'ensemble E; 2. Z_p Z_q = 0 pour p ≠ q.
Mniej
Więcej
9
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Le but de cette note est de démontrer le théorème Théorème: Si la fonction φ transforme d'une façon biunivoque l'ensemble A en un sous-ensemble de B et de même la fonction ψ transforme un sous-ensemble de A en l'ensemble B, il existe une décomposition des ensembles A et B: A = A_1+A_2,
B=B_1+B_2 qui satisfait aux conditions: A_1 × A_2=0=B_1 × B_2, φ(A_1)=B_1 et ψ(A_2) = B_2 et d'en tirer quelques conséquences.
Więcej
10
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Nous étudions dans cette note les notions de l'équivalence des ensembles de points par décomposition finie, resp. dénombrable. Les principaux résultats contenus dans le présent article sont les suivants: Théorème: Dans un espace euclidien à n ≥ 3 dimensions deux ensembles arbitraires, bornes
et contenant des points intérieurs (par exemple deux sphères a rayons différentes), sont équivalents par décomposition finie. Un théorème analogue subsiste pour les ensembles situes sur la surface d'une sphère, mais le théorème correspondant concernant l'espace euclidien à 1 ou 2 dimensions est faux. D'autre part: Théorème: Dans un espace euclidien à n ≥ 1 dimensions deux ensembles arbitraires (bornes ou non), contenant des points intérieures, sont équivalents par décomposition dénombrable.
Mniej
Więcej
11
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Le but de cette note est de démontrer: Théorème: Soit {u_{pq}(x)} une suite double de fonctionnelles linéaires; si à tout p il correspond un x_p tel que l'on ait lim_{q → ∞} sup ||u_{pq}(x_p)|| = ∞, alors il existe un x (independant de p) remplissant toutes les relations lim_{q → ∞} sup
||u_{pq}(x)|| = ∞. Théorème: Soit {u_{pq}(x)} une suite double de fonctionnelles linéaires; si à tout p il correspond un x_p rendant divergente la suite simple {u_{pq}(x_p)}_{q → ∞}, alors il existe un x (indépendant de p) qui rend divergentes toutes les suites simples {u_{pq}(x)}_{q → ∞}.
Mniej
Więcej
12
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW