DOCSLIB.ORG

Hurewicz Tests: Separating and Reducing Analytic Sets the Conscious Way

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Hurewicz Tests: Separating and Reducing Analytic Sets the Conscious Way Hurewicz tests: separating and reducing analytic sets the conscious way By Tam¶as M¶atrai Submitted to Central European University Department of Mathematics and its Applications Supervisor: Tam¶as Keleti Budapest, Hungary 2005 2 Abstract In this thesis we develop the theory of topological Hurewicz test pairs. The central idea of this method is to construct special Polish topologies in such a way that simply structured sets, e.g. sets of low Borel class, are either \almost empty" or of second category in the corresponding special topology. Through this approach, which can be considered as a generalization of the Baire Category Theorem for higher Borel classes, we are able to give a quantitative aspect, in Baire category sense, to certain results related to Hurewicz test sets. As an application of the theory, we prove some results related to trans¯nite convergence of Borel functions, to the problem of ¯nding simple generators of analytic ideals and to the problem of constructing Hurewicz test sets for generalized separation of analytic sets. Contents 1 Classical results, motivating problems 5 2 De¯nitions and notation 11 2.1 Sequences and trees . 11 2.2 Re¯ning topologies, basic open sets . 12 2.3 Hierarchies, separation, reduction . 14 3 The » = 3 case 17 0 3.1 The ¦3 set of Lusin . 17 3.2 Generating ideals . 24 4 Topological Hurewicz test pairs 37 4.1 Distinguishing Borel classes . 37 4.2 Intersection criteria . 45 4.3 A moment of being concrete . 53 4.4 Constructible coverings . 56 5 Testing the di®erence hierarchy 59 6 -convergent functions 69 I 3 4 CONTENTS 7 Generalized separation and reduction 75 7.1 Witnessing generalized separation . 76 7.2 Generalized reduction . 85 8 Concluding remarks 87 Chapter 1 Classical results, motivating problems If an open set is nonempty it is of second category. This is probably the simplest for- mulation of the Baire Category Theorem. The purpose of our thesis is to show that this theorem can be extended to the entire Borel hierarchy: for every 0 < » < !1 we de¯ne a 0 ¯ne topology such that if a §» set is just \a bit bigger than nonempty" then it is huge, i.e. it is of second category in our ¯ne topology. And we present some typical Baire Category Theorem-like applications of this result: the intersection of countably many \fairly dense" 0 §» sets is residual in the ¯ne topology, hence it is nonempty. We remark that there is a quite classical extension of the dichotomy expressed by the Baire Category Theorem for open sets. More than a half century ago Witold Hurewicz proved the following theorem, also called Hurewicz-dichotomy, about sets failing to be F. Theorem 1.1. (W. Hurewicz) Let X be a Polish space and A X be an analytic set. If A is not F , then there is a continuous injection of the Cantor set into X, ': 2! X ! 5 6 CHAPTER 1. CLASSICAL RESULTS, MOTIVATING PROBLEMS ! 1 ! ! such that 2 '¡ (A) is countable dense in 2 ; that is '(2 ) A is a relatively closed n \ subset of A homeomorphic to the irrationals. If we add the well-known fact that any subset N of the Cantor set 2! homeomorphic ! to the irrationals is never F we gave all the reasons why the pair (2 ; N) is called the Hurewicz test for F sets. Theorem 1.1 has been strengthened in many successive steps. In some sense the most general existence theorem for Hurewicz tests is the following (see [7]). Theorem 1.2. (A. Louveau, J. Saint Raymond) Let 3 » < ! and (X; ¿) be a Polish · 1 ! 0 0 space. If P 2 is ¦ (¿ ! ) but not § (¿ ! ) and A ; A X is any pair of disjoint analytic » » 2 » 2 0 1 0 sets, then either A0 can be separated from A1 by a §»(¿) set or there is a continuous one- ! ! to-one map ': (2 ; ¿ ! ) X with '(P ) A and '(2 P ) A . 2 ! » 0 n » 1 The same conclusion holds for » = 2 if P 2! is the complement of a dense countable 2 set. 0 0 0 Thus we may call a ¦»(¿2! ) but not §»(¿2! ) set P» a Hurewicz test for §»(¿2! ) sets, 0 in the sense that either a set A X is § (¿ ! ), a fact which can be witnessed by a » 2 0 description of the construction of A from simpler sets, or A is not §»(¿2! ), a property which cannot be veri¯ed by checking some decomposition, but by Theorem 1.2 it can be ! 1 witnessed by a continuous injection ': 2 X satisfying '¡ (A) = P . ! » Theorem 1.2 turned out to be the ideal starting point of our investigations. It allows us ! to isolate a simple reason, namely the image of the Hurewicz test '(P») in '(2 ) why the 0 analytic set A0 cannot be separated from the other analytic set A1 with one single §» set. But the aspect of dichotomy which was present in the Baire Category Theorem for open sets is lacking, in particular Theorem 1.2 says nothing about how \crude" a separation 0 attempt is if one insists on §» sets, or in other words, how well our A0 can be approximated 7 by §0 sets laying outside A . It was the problem of -convergent functions, raised by T. » 1 I Natkaniec in [17], which shed light on this failure. We start with the de¯nition. De¯nition 1.3. Let ¸ be a cardinal, (X; ¿) and (Y; d) be Polish spaces. Consider an ideal on ¸. We say that a sequence of functions f : X Y (® < ¸) -converges to the I ® ! I function f : X Y , in notation f® f, if ! !I ® < ¸: f (x) = f(x) f ® 6 g 2 I for every x X. 2 The question of T. Natkaniec is whether -convergence keeps the Baire classes or not, I that is under which condition on ¸ and it is true that if f is Baire-» (® < !) and I ® f® f the limit function f must be also Baire-». Since the Baire class of a function !I is in close relation with the Borel class of its sublevel set it is not surprising that the problem of -convergent functions is equivalent to ¯nding some quantitative analogue of I Theorem 1.2. It was the ¯rst motivation for our investigations. In some sense a particular case of the problem of T. Natkaniec is the problem of generalized separation. It is well known that analytic sets have the generalized separation property, that is for every sequence (A ) of analytic sets with A = there is a i i<! i<! i ; sequence (B ) of Borel sets satisfying A B (i < !) and TB = . But of what i i<! i i i<! i ; complexity must Bi (i < !) be? That is, if » is ¯xed, when canTeach Bi (i < !) be chosen 0 in ¦»? This can be regarded as an approximation problem where the analytic sets Ai (i < !) play the role of constraint. One can ask whether there is a theorem providing Hurewicz tests for generalized separation as Theorem 1.2 does for ordinary separation. The last problem we mention here has been posed by A. Miller. S. Solecki in [21] proved the following result. 8 CHAPTER 1. CLASSICAL RESULTS, MOTIVATING PROBLEMS Theorem 1.4. (S. Solecki) Given a family of closed sets and an analytic set A in some I Polish space X, either A can be covered by the union of countably many members of or I A contains a nonempty ¦0 set G with the property that F G is meager in G for every 2 \ F . 2 I Observe that this result has the feature of testing: if A can be covered by the union of countably many members of this is witnessed by the countable collection of closed I sets in realizing the covering, while the contrary, which is a priory unwitnessable, can I 0 be veri¯ed by a good ¦2 subset of A and Baire category. It is natural to ask whether this holds for every Borel class (see [15]). Question 1.5. (A. Miller) For 2 » < ! let be a -ideal which is generated by its · 1 I ¦0 members. Is it true that for every analytic set A X, either A or there is a ¦0 » 2 I »+1 set B A such that B = ? 2 I These problems can be treated within the theory of topological Hurewicz test pairs, a concept we aim to develop in this thesis. Informally, it can be summarized as \sets of low Borel class are so simply structured comparing to sets of high Borel class that even Baire category can distinguish them in a suitable topology". As an illustration, the precise topologized version of Theorem 1.2 is the following result (see [10], Theorem 4 on page 159). 0 Theorem 1.6. Let (X; ¿) be a Polish space. For every 2 » < ! , there exist a ¦ (¿ ! ) · 1 » 2 ! ! set P 2 and a Polish topology ¿ on 2 which is ¯ner than ¿ ! such that P is nowhere » P» 2 » dense and closed in the topology ¿ , and if an analytic set A X is P» 0 ! 1. in § (¿), then whenever for a continuous one-to-one mapping ': (2 ; ¿ ! ) (X; ¿) » 2 ! 1 we have that '¡ (A) P is of second category in P in the relative topology ¿ \ » » P» jP» 1 ! then '¡ (A) 2 is of second category in the topology ¿ ; P» 9 0 ! 2. not in § (¿), then there is a continuous one-to-one mapping ': (2 ; ¿ ! ) (X; ¿) » 2 ! 1 ! such that '(P ) A and '¡ (A) 2 is of ¯rst category in the topology ¿ . » P» 0 Moreover, if ¸ < 2@ is a cardinal and in our model the union of a ¸ number of meager sets is meager in Polish spaces the ¯rst statement holds for every (not necessarily Borel) 0 set A which can be obtained as a union of a ¸ number of §»(¿) sets.
Load more

Recommended publications
  • Arxiv:1603.03361V3 [Math.GN] 18 May 2016 Eeecs R O Eddfrtermidro Hspaper
    PRODUCTS OF MENGER SPACES: A COMBINATORIAL APPROACH PIOTR SZEWCZAK AND BOAZ TSABAN Abstract. We construct Menger subsets of the real line whose product is not Menger in the plane. In contrast to earlier constructions, our approach is purely combinatorial. The set theoretic hypothesis used in our construction is far milder than earlier ones, and holds in all but the most exotic models of real set theory. On the other hand, we establish pro- ductive properties for versions of Menger’s property parameterized by filters and semifilters. In particular, the Continuum Hypothesis implies that every productively Menger set of real numbers is productively Hurewicz, and each ultrafilter version of Menger’s property is strictly between Menger’s and Hurewicz’s classic properties. We include a number of open problems emerging from this study. 1. Introduction A topological space X is Menger if for each sequence U1, U2,... of open covers of the space X, there are finite subsets F1 ⊆ U1, F2 ⊆ U2, . whose union forms a cover of the space X. This property was introduced by Karl Menger [17], and reformulated as presented here by Witold Hurewicz [11]. Menger’s property is strictly between σ-compact and Lindelöf. Now a central notion in topology, it has applications in a number of branches of topology and set theory. The undefined notions in the following example, which are available in the indicated references, are not needed for the remainder of this paper. Example 1.1. Menger spaces form the most general class for which a positive solution of arXiv:1603.03361v3 [math.GN] 18 May 2016 the D-space problem is known [2, Corolarry 2.7], and the most general class for which a general form of Hindman’s Finite Sums Theorem holds [25].
    [Show full text]
  • Roman Duda (Wrocław, Poland) EMIGRATION OF
    ORGANON 44:2012 Roman Duda (Wrocław, Poland) EMIGRATION OF MATHEMATICIANS FROM POLAND IN THE 20 th CENTURY (ROUGHLY 1919–1989) ∗ 1. Periodization For 123 years (1795–1918) Poland did not exist as an independent state, its territory being partitioned between Prussia (Germany), Austria and Russia 1. It was a period of enforced assimilation within new borders and thus of restraining native language and culture which first provoked several national uprisings against oppressors, and then – in the three decades at the turn of the 19 th to 20 th centuries – of a slow rebuilding of the nation’s intellectual life. Conditions, however, were in general so unfavourable that many talents remained undeveloped while some talented people left the country to settle and work elsewhere. Some of the mathematicians emigrating then (in the chronological order of birth): • Józef Maria Hoene–Wro ński (1776–1853) in France, • Henryk Niew ęgłowski (1807–1881) in Paris, • Edward Habich (1835–1909) in Peru, • Franciszek Mertens (1840–1929) in Austria, • Julian Sochocki (1842–1927) in Petersburg, • Jan Ptaszycki (1854–1912) in Petersburg, • Bolesław Młodziejewski (1858–1923) in Moscow, • Cezary Russyan (1867–1934) in Kharkov, • Władysław Bortkiewicz (1868–1931) in Berlin, • Alexander Axer (1880–1948) in Switzerland. Thus the period of partitions was a time of a steady outflow of many good names (not only mathematicians), barely balanced by an inflow due to assim- ilation processes. The net result was decisively negative. After Poland regained independence in 1918, five newly established or re–established Polish universities (Kraków, Lwów, Warsaw, Vilnius, Pozna ń) ∗ The article has been prepared on the suggestion of Prof.
    [Show full text]
  • NEWSLETTER Issue: 485 - November 2019
    i “NLMS_485” — 2019/10/25 — 12:08 — page 1 — #1 i i i NEWSLETTER Issue: 485 - November 2019 YAEL NAIM DOWKER GRESHAM’S TEACHING AND GEOMETRY ETHICS IN ERGODIC THEORY PROFESSORS MATHEMATICS i i i i i “NLMS_485” — 2019/10/25 — 12:08 — page 2 — #2 i i i EDITOR-IN-CHIEF COPYRIGHT NOTICE Iain Moatt (Royal Holloway, University of London) News items and notices in the Newsletter may [email protected] be freely used elsewhere unless otherwise stated, although attribution is requested when reproducing whole articles. Contributions to EDITORIAL BOARD the Newsletter are made under a non-exclusive June Barrow-Green (Open University) licence; please contact the author or photog- Tomasz Brzezinski (Swansea University) rapher for the rights to reproduce. The LMS Lucia Di Vizio (CNRS) cannot accept responsibility for the accuracy of Jonathan Fraser (University of St Andrews) information in the Newsletter. Views expressed Jelena Grbic´ (University of Southampton) do not necessarily represent the views or policy Thomas Hudson (University of Warwick) of the Editorial Team or London Mathematical Stephen Huggett Society. Adam Johansen (University of Warwick) Bill Lionheart (University of Manchester) ISSN: 2516-3841 (Print) Mark McCartney (Ulster University) ISSN: 2516-385X (Online) Kitty Meeks (University of Glasgow) DOI: 10.1112/NLMS Vicky Neale (University of Oxford) Susan Oakes (London Mathematical Society) Andrew Wade (Durham University) NEWSLETTER WEBSITE Early Career Content Editor: Vicky Neale The Newsletter is freely available electronically News Editor: Susan Oakes at lms.ac.uk/publications/lms-newsletter. Reviews Editor: Mark McCartney MEMBERSHIP CORRESPONDENTS AND STAFF Joining the LMS is a straightforward process.
    [Show full text]
  • 8 Aristotle and Modern Mathematical Theories of The
    This is a longer version of: A. G. J. Newstead, ‘Aristotle and Modern Mathem- atical Theories of the Continuum’, in Aristotle and Contemporary Science, D. Sfendoni-Mentzou, J. Hattiangadi, and D.M. Johnson, eds. (Frankfurt: Peter Lang, 2001, 113-129. @2001 8 Aristotle and Modern Mathematical Theories of the Continuum * A G J Newstead 1 Introduction: Mathematical and Physical Continua The mathematical structure of the continuum, in the guise of the domain of continuous, differentiable functions, has proved im- mensely useful in the study of nature. However, we have learned to be sceptical of any claim to the effect that our current favourite mathematical theory necessarily describes the actual structure of the physical universe. The continuous manifold of space-time may be no more than a helpful idealisation, when in fact space- time has a minutely grainy or quantised structure. Nonetheless, the question of whether the classical continuum is an accurate representation of the structure of space-time is a separate question from the one which we have to answer today. We are interested in the mathematical concept of the continuum itself. In saying that we may develop a mathematical theory of the continuum regardless of whether such a continuum is actually to be found in the universe, we are relying on the premise that there is such a thing as pure mathematics, a body of knowledge whose evidential basis rests on something other than observation of the physical world. Consider, for example, the proposition that the tangent to a point P on a circle’s circumference is perpendicular to the radius connecting P and the centre of the circle.
    [Show full text]
  • RESEARCH STATEMENT Most of My Research Is Focused on Two
    RESEARCH STATEMENT BOAZ TSABAN Most of my research is focused on two research topics. Within general and set theoretic topology, I study selection principles and their relations to real analysis and Ramsey theory. Within mathematical cryptology, I study the computational problems of public key protocols based on nonabelian groups. I have solved several central problems in each of these topics and, to this end, developed methods with impact beyond the motivating problems. 1. Selection principles The theory of selection principles deals with mathematical properties and notions defined by selections from sequences of structured sets. For example, recall that a space is compact if every open cover of the space has a finite subcover. Compactness is a very useful property, but most spaces, including very important examples such as subsets of the real line, are not compact. A weaker restriction is provided by Menger's property, defined by Karl Menger in 1924. Motivated by his studies in dimension theory, Menger formulated his property as a basis property in metric spaces. In 1925, Witold Hurewicz observed that Menger's property is equivalent to the following covering property: For each sequence of open covers of the space, there are finite subsets of these covers that, taken together, cover the space. Menger's property is one of several selective covering properties, which evolved in inde- pendent contexts such as measure theory (Borel's strong measure zero and Rothberger's closely related property C00) and function spaces (Fr´echet{Urysohn property, Alexander Arhangel'ski˘ı’scountable fan tightness and Masami Sakai's stronger notion, Lev Bukovsky's, Ireneusz Rec law's, and Miroslav Repicky's weak quasinormal convergence, etc.).
    [Show full text]
  • 641 the Book, However, Should Prove Useful As a Reference Book on The
    i942] BOOK REVIEWS 641 The book, however, should prove useful as a reference book on the literature of the subject prior to 1938. W. SEIDEL Dimension Theory. By Witold Hurewicz and Henry Wallman. (Prince­ ton Mathematical Series, no. 4.) Princeton University Press, 1941. 156 pp. $3.00. In contrast with Karl Menger's well known Dimensionstheorie which could claim a considerable measure of completeness at the time of its publication (1928) the present modest volume includes "only those topics . which are of interest to the general worker in mathe­ matics as well as the specialist in topology." Despite this self-imposed limitation, the authors have presented a simple and connected ac­ count of the most essential parts of dimension theory. They have treated this branch of topology—hardly surpassed in the elegance of its results—with discrimination and technical skill (it should be pointed out that the senior author is one of the outstanding builders of the theory). The result is an unusually interesting book. It must have been a pleasure to write; it was certainly a pleasure to read. The dimension of a space is the least integer n for which every point has arbitrarily small neighborhoods whose boundaries are of di­ mension less than n; empty sets are of dimension — 1. This well known recursive definition is due independently to Menger and Urysohn although its intuitive content goes back to Poincaré. It would be natural to expect that a theory based on such a definition would be purely point-set theoretical in character. The remarkable thing is, however, that there exist a number of equivalent definitions of dimension, each belonging to a different domain of ideas and each "right" and natural in its domain.
    [Show full text]
  • 1. Ei IAH(B,H(F,G)), Dr(H) = Ynh, Singular Prism a Is a Map A
    VOL. 43, 1957 MATHEMATICS: HUREWICZ AND FADELL 241 l K. Kodaira and D. C. Spencer, "On the Variation of Almost-complex Structures," in Algebraic Geometry and Topology (Princeton, N.J., 1957). 2 A. Frblicher and A. Nijenhuis, "Some New Cohomology Invariants for Complex Manifolds. I, II." Indagationes math., 18, No. 5, 1956 (here referred to as Paper C. I.). 3A Frblicher and A. Nijenhuis, "Theory of Vector-valued Differential Forms. I," ibid. No. 3, pp. 338-359, 1956. 4 K. Kodaira, "On a Differential Geometric Method in Theory of Analytic Stacks," these PROCEEDINGS, 39, 1268-1273, 1953. ON THE SPECTRAL SEQUENCE OF A FIBER SPACE. II BY WITOLD HUREWICZ AND EDWARD FADELL* MASSACHUSETTS INSTITUTE OF TECHNOLOGY AND UNIVERSITY OF WISCONSIN Communicated by Richard Brauer, December 18, 1956 1. INTRODUCTION The objective of this paper is to outline a proof of the following result, first con- jectured by Hurewicz, which generalizes a well-known theorem of Leray-Serrel and also extends a previous result of the authors.2 The details will appear else- where. THEOREM. If (X, B, p) is a fiber space in the sense of Hurewicz3 with fiber F, and if B is r - 1-connected, r > 1, then, in the associated spectral sequence {Ej, dj based on singular chains with coefficient group G, we have the following: 1. Ei IAH(B,H(F,G)), 2 < <r; di = 0 2 < i< r-1. 2. Identifying H(B, H(F, G)) with Er2 the differential operator dr: H(B, H(F, G)) - H(B, H(F, G)) is given by the cap product dr(h) = y n h, h E H(B, H(F, G)), where y is the characteristic cohomology class of B and H(F, G) and 7rr(B) are suitably paired.
    [Show full text]
  • A Bibliography of Collected Works and Correspondence of Mathematicians Steven W
    A Bibliography of Collected Works and Correspondence of Mathematicians Steven W. Rockey Mathematics Librarian Cornell University [email protected] December 14, 2017 This bibliography was developed over many years of work as the Mathemat- ics Librarian at Cornell University. In the early 1970’s I became interested in enhancing our library’s holdings of collected works and endeavored to comprehensively acquire all the collected works of mathematicians that I could identify. To do this I built up a file of all the titles we held and another file for desiderata, many of which were out of print. In 1991 the merged files became a printed bibliography that was distributed for free. The scope of the bibliography includes the collected works and correspon- dence of mathematicians that were published as monographs and made available for sale. It does not include binder’s collections, reprint collec- tions or manuscript collections that were put together by individuals, de- partments or libraries. In the beginning I tried to include all editions, but the distinction between editions, printings, reprints, translations and now e-books was never easy or clear. In this latest version I have supplied the OCLC identification number, which is used by libraries around the world, since OCLC does a better job connecting the user with the various ver- sion than I possibly could. In some cases I have included a title that has an author’s mathematical works but have not included another title that may have their complete works. Conversely, if I believed that a complete works title contained significant mathematics among other subjects, Ihave included it.
    [Show full text]
  • IMA Presentation
    1 Mathematics in a Dangerous Time Applied Math Workshop, UIUC, May 17, 2003 Douglas N. Arnold, Institute for Mathematics & its Applications Institute for Mathematics and its Applications 1 2 WW II cryptography The breaking of the German enigma code by Polish and British mathematicians (Rejewski, Turing, . ) and the breaking of the Japanese PURPLE code by the Americans shortened the war by ≈ 2 years. Institute for Mathematics and its Applications 2 2 WW II cryptography The breaking of the German enigma code by Polish and British mathematicians (Rejewski, Turing, . ) and the breaking of the Japanese PURPLE code by the Americans shortened the war by ≈ 2 years. The NSA is a direct outcome. Institute for Mathematics and its Applications 2 2 WW II cryptography The breaking of the German enigma code by Polish and British mathematicians (Rejewski, Turing, . ) and the breaking of the Japanese PURPLE code by the Americans shortened the war by ≈ 2 years. The NSA is a direct outcome. Far from over: NSA is the largest single employer of mathematics Ph.D.s in the world, hiring 40–60 per year. DES was broken in 2000, AES is not provably secure. Will quantum cryptography and quantum factorization could change the landscape? Institute for Mathematics and its Applications 2 3 Some other mathematicians in U.S. war effort Norbert Weiner Peter Lax George Dantzig John von Neumann James Givens Isaac Schoenberg Richard Hamming John Synge Alston Householder Stanislaw Ulam John Kemeny John Crank Cornelius Lanczos James Wilkinson Norbert Weiner James Alexander Garrett Birkhoff Daniel Gorenstein Witold Hurewicz Solomon Lefschetz Cathleen Morawetz Marshall Stone Olga Taussky-Todd Paul Halmos Nathan Jacobson John Tukey J.
    [Show full text]
  • Distinguished Graduates in Mathematics of the Jagiellonian
    DISTINGUISHED GRADUATES IN MATHEMATICS OF JAGIELLONIAN UNIVERSITY IN THE INTERWAR PERIOD. PART I: 1918-1925 STANISLAW DOMORADZKI AND MALGORZATA STAWISKA 1. Introduction 2 2. Profiles 7 2.1. Tadeusz Wa_zewski(1896-1972) 7 2.2. W ladys law Nikliborc (1899-1948) 10 2.3. Stanis law Bilski (1893-1934(?)) 12 2.4. Jan J´ozefLe´sniak (1901-1980) 12 2.5. Stanis law Go l¸ab(1902-1980) 13 2.6. Zofia Krygowska (1904-1988) 16 References 18 Contents arXiv:1508.05450v2 [math.HO] 19 Nov 2015 Date: November 20, 2015. 1 Abstract. In this study, we present profiles of some distinguished graduates in mathemat- ics of the Jagiellonian University from the years 1918-1939. We discuss their professional paths and scholarly achievements, instances of scientific collaboration, connections with other academic centers in Poland and worldwide, involvement in mathematical education and teacher training, as well as their later roles in Polish scientific and academic life. We also try to understand in what way they were shaped by their studies and how much of Krak´owscientific traditions they continued. We find strong support for the claim that there was a distinct, diverse and deep mathematical stream in Krak´owbetween the wars, rooted in classical disciplines like differential equations and geometry, but also open to new trends in mathematics. Part I concerns the graduates before the university reform, in 1918-1926. W niniejszej pracy przedstawiamy sylwetki niekt´orych wybitnych absolwent´owUniwer- sytetu Jagiello´nskiegow zakresie matematyki z lat 1918-1939. Omawiamy ich drogi za- wodowe i osi¸agni¸ecianaukowe, przyk ladywsp´o lpracynaukowej, zwi¸azkiz innymi o´srodkami akademickimi w Polsce i na ´swiecie,zaanga_zowanie w nauczanie matematyki i kszta lcenie nauczycieli oraz ich p´o´zniejszerole w polskim _zyciuakademickim.
    [Show full text]
  • A Symposium in Honor of Salomon Bochner Princeton Mathematical Series
    Problems in Analysis A SYMPOSIUM IN HONOR OF SALOMON BOCHNER PRINCETON MATHEMATICAL SERIES Editors: PHILLIP A. GRIFFITHS, MARSTON MORSE, AND ELIAS M. STEIN 1. The Classical Groups, Their Invariants and Representation. By HERMANN WEYL. 2. Topological Groups. By L. PONTRJAGIN. Translated by EMMA LEHMER. 3. An Introduction to Differential Geometry with Use of the Tensor Calculus. By LUTHER PFAHLER EISENHART. 4. Dimension Theory. By WITOLD HUREWICZ and HENRY WALLMAN. 5. The Analytic Foundations of Celestial Mechanics. By AUREL WINTNER. 6. The Laplace Transform. By DAVID VERNON WIDDER. 7. Integration. By EDWARD JAMES MCSHANE. 8. Theory of Lie Groups: I. By CLAUDE CHEVALLEY. 9. Mathematical Methods of Statistics. By HARALD CRAMER. 10. Several Complex Variables. By SALOMON BOCHNER and WILLIAM TED MARTIN. 11. Introduction to Topology. By SOLOMON LEFSCHETZ. 12. Algebraic Geometry and Topology. Edited by R. Η. Fox, D. C. SPENCER, and A. W. TUCKER. 14. The Topology of Fibre Bundles. By NORMAN STEENROD. 15. Foundations of Algebraic Topology. By SAMUEL EILENBERG and NORMAN STEENROD. 16. Functionals of Finite Riemann Surfaces. By MENAHEM SCHIFFER and DONALD C. SPENCER. 17. Introduction to Mathematical Logic, Vol. I. By ALONZO CHURCH. · 18. Algebraic Geometry. By SOLOMON LEFSCHETZ. 19. Homological Algebra. By HENRI CARTAN and SAMUEL EILENBERG. 20. The Convolution Transform. By I. I. HIRSCHMAN and D. V. WIDDER. 21. Geometric Integration Theory. By HASSLER WHITNEY. 22. Qualitative Theory of Differential Equations. By V. V. NEMICKII and V. V. STEPANOV. Translated under the direction of SOLOMON LEFSCHETZ. 23. Topological Analysis, revised edition. By GORDON T. WHYBURN. 24. Analytic Functions. By NEVANLINNA, BEHNKE and GRAUERT, et al.
    [Show full text]
  • Witold Hurewicz, in Memoriam
    WITOLD HUREWICZ, IN MEMORIAM SOLOMON LEFSCHETZ Last September sixth was a black day for mathematics. For on that day there disappeared, as a consequence of an accidental fall from a pyramid in Uxmal, Yucatan, Witold Hurewicz, one of the most capable and lovable mathematicians to be found anywhere. He had just attended the International Symposium on Algebraic Topology which took place during August at the National University of Mexico and had been the starting lecturer and one of the most active par­ ticipants. He had come to Mexico several weeks before the meeting and had at once fallen in love with the country and its people. As a consequence he established from the very first a warm relationship between himself and the Mexican mathematicians. His death caused among all of us there a profound feeling of loss, as if a close relative had gone, and for days one could speak of nothing else. Witold Hurewicz was born on June 29, 1904, in Lodz, Russian Poland, received his early education there, and his doctorate in Vienna in 1926. He was a Rockefeller Fellow in 1927-1928 in Amster­ dam, privaat docent there till 1936 when he came to this country. The Institute for Advanced Study, the University of North Carolina, Radiation Laboratory and Massachusetts Institute of Technology (since 1945) followed in succession. Mathematically Hurewicz will best be remembered for his im­ portant contributions to dimension, and above all as the founder of homotopy group theory. Suffice it to say that the investigation of these groups dominates present day topology. Still very young, Hurewicz attacked dimension theory, on which he wrote together with Henry Wallman the book Dimension theory [39],l We come to this book later.
    [Show full text]