Smoothness in disjoint groups of real functions under composition (Q914870): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3667101 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sigma-finite invariant measures for smooth mappings of the circle / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Formula of FAA Di Bruno / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Functions with Infinitely Many Derivatives / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5667036 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4115333 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A dense subsemigroup of S(R) generated by two elements / rank | |||
Normal rank |
Latest revision as of 16:51, 20 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Smoothness in disjoint groups of real functions under composition |
scientific article |
Statements
Smoothness in disjoint groups of real functions under composition (English)
0 references
1988
0 references
Let I be an open real interval, G a set of bijections \(I\to I\) which forms a group under composition (we will call it an iteration group). The author calls G disjoint if the graphs of two distinct elements of G do not intersect, G dense if the union of graphs is dense in \(I^ 2\) and complete if this union covers \(I^ 2\) completely. Solving a first problem of O. Borůvka and F. Neuman, the author and \textit{J. Baker} [Arch. Math., Brno 18, 121-127 (1982; Zbl 0518.26002)] proved that every dense disjoint iteration group of continuous bijections is a subgroup of a (unique) complete disjoint iteration group of continuous bijections. Their second question was whether this holds for \(C^ n\) (n\(\geq 1)\) instead of \(C^ 0.\) Here the author answers this question by constructing dense disjoint (even finitely generated) iteration groups of \(C^{\infty}\) bijections which are not subgroups of any complete disjoint complete iteration group even of \(C^ 1\) bijections. \{This paper has been submitted in 1983. Personal reasons delayed the author in proofreading. A related paper of \textit{M. A. McKiernan} appeared in Aequationes Math. 31, 37-46 (1986; Zbl 0627.39004).\}
0 references
derivatives of compositions
0 references
finitely generated
0 references
completion
0 references
diffeomorphism
0 references
dense disjoint iteration group of continuous bijections
0 references
complete disjoint iteration group
0 references
\(C^{\infty }\) bijections
0 references