Hostname: page-component-78c5997874-dh8gc Total loading time: 0 Render date: 2024-11-19T15:42:21.312Z Has data issue: false hasContentIssue false

On the extension of the Pflastersatz (Part II)

Published online by Cambridge University Press:  24 October 2008

Extract

In the first part of this paper I announced some new Pflaster theorems for arbitrary r-dimensional closed sets lying in the Euclidean space Rn. In § III I proved them for the special case of an r-dimensional closed set F linked (rel a neighbourhood U) with an (nr – 1)-dimensional spherical cycle. I shall now prove these theorems in the general case of a quite arbitrary closed set F.

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1937

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

* “On the extension of the Pflastersatz”, Proc. Camb. Phil. Soc. 32 (1936), 238.Google Scholar I shall quote this paper as “Part I”.

The proofs of these theorems are given in my paper “On infinitesimal properties of closed sets of arbitrary dimension” (to appear in Annals of Math.). I shall quote this paper as “IP”.

See also § 1, Part I. We say also that the system forms an r-fold dissection of the set A r in dual correspondence with the system of r-fold expansions of the cycle z nr−1.

* An ε subdivision F = ∑F i of a set F is called canonical, if any k parts (k = 2, 3, …, r + 2) have an at most (rk + 1)-dimensional set in common. The existence of canonical subdivisions of a closed set for any ε is well known.

This construction, which is completely described in § II (IP), is based on Lemma 1 (§ 1) on the expansion of cycles.

* See the proof of the inductive Phragmen-Brouwer theorem in § 2 (IP). The Phragmen-Brouwer-Alexandroff theorem is a special case of our Theorem PB (Part I, § I).

* The proof of (v)j+1 obviously applies verbatim in the case j = 0.