horizons

Horizons Peter Vojtas Charles University Prague now Dept. Software - PowerPoint PPT Presentation

Base Tree Phenomenological Horizons Peter Vojtas Charles University Prague now Dept. Software Engineering (logic programming, Datalog, database, web information extraction, user/customer preference acquisition/learning) In my first life, upon a


  1. Base Tree Phenomenological Horizons Peter Vojtas Charles University Prague now Dept. Software Engineering (logic programming, Datalog, database, web information extraction, user/customer preference acquisition/learning) In my first life, upon a time, in the wonderland of set- theoretic topology…

  2. Thanks to • PhD advisor1 – Petr Vopenka - the man who was my role model – phenomenology seminar • PhD advisor2 – Bohuslav Balcar – a man who was my mathematical teacher, introduced me to problems, techniques, Prague traditions and contacts abroad • Lev Bukovsky – his seminar in Kosice was my safe heaven, hideout in uncertain times … • All my colleagues, students, coauthors, … • Charles University study of theoretical cybernetics – whole time in Kosice lectured Turing machines, recursive functions, logic programming, … this gave me later foundation and starting point to my second life activities Toposym 2016 Vojtas. Base Tree Phenomenological Horizons 2

  3. Outline of this talk • Sources and Components – motivations, tracks • from Balcar Pelant Simon Baire like approach on one side and • from Fichtengolz slow/faster converge/diverge series on the other • How did it evolve (pure topology (co-absoluteness) - series) 1 𝑙 \ ℓ 1 plateau • The ( l 1 ,  *) - (c 0 + \ l 1 ,  *) horizon and ℓ 1+ + \ l 1 ,  *) and RO(  (  ) / fin ,  *) can be isomorphic • RO(c 0 • But need not always in ZFC (Fuchino, Mildenberger, Shelah, V) • Problems, hypothesis • Horizon, pass, sensing infinity, infinitesimals, ideological, cultural, technological , … horizons Toposym 2016 Vojtas. Base Tree Phenomenological Horizons 3

  4. Motivations • [BPS] B. Balcar, J. Pelant, P. Simon. The space of ultrafilters on N covered by nowhere dense sets. Fund. Math. 110 ( 1980 ), 11-24 • G. M. Fichtenholz, The course of differential and integral calculus, ∞ ∞ 𝑐 𝑜 , 𝑙 →  Fizmatgiz, Moscow, 1959 (Russian) 𝑜=𝑙 𝑏 𝑜 = 𝑝 𝑜=𝑙 • N. N. Kholshchevnikova, Unsolvability of several questions of convergence of series and sequences, Mat. Z. 34 (1983), 711-718 (Russian 1981) • Toposym 1986 - Set-theoretic characteristic versus gaps in convergence of series and P(  )/fin • BELASOVA, J. — EWERT, J. — SALAT, T. : On the effectiveness of tests for the absolute convergence of infinite series, Bull. Math. Soc. Sci. Math. R.S. Roumanie (N. S.) 33 (1989), 3-8. Toposym 2016 Vojtas. Base Tree Phenomenological Horizons 4

  5. How did it evolve … Topology – more general – are spaces From analysis, asymptotics , … series, sequences,  *\Q, co- absolute or not? From [BPS] … • Broverman-Weiss 82, Wiliams • 85 Coplakova-V Q-points, 94 ctd., Toposym 96 82, vanMill- Wiliams 83, … • 92 V. A note on the effectiveness of • 89 Dow – tree  -bases  N\N tests for the absolute conv. div. of • Dordal, Laver, van Douwen , … infinite series (Belasova-Ewert-Salat) • 98 Shelah-Spinas + \ l 1 ,  *)=RO(  N\N) • 93 MAx RO(c 0 • 98 Dow RO(  R\R)  RO(  N\N) - • 95 Krajci-V same for finite partitions very similar to our approach + \ l 1 ,  *)  RO(  N\N), • 99 FMSV RO(c 0 • 2015 Balcar-Doucha-Hrusak BTP like 98 Dow, only to keep  a n =  … Toposym 2016 Vojtas. Base Tree Phenomenological Horizons 5

  6. Baire’s theorem is is about our ur abil ility to clim climb a ho horizon (s (speed, di distance in  * ll( h , , 2 ω ) (m (method)) – surpris ise in * - sim imilar to coll llapsing alg lgebra Coll • Matrix    (Open(P)) • The height of a partial order (P,≤), h (P) shortly, is the minimal • Shattering matrix cardinality of a system of open • Refining matrix dense subsets of P such that the intersection of the system is not • Base matrix dense. • Definition [BPS]. Let P be a dense in • An equivalent definition involves itself topological space. Define maximal antichains: h (P) is equal to  (P) = min{|  |:  is a shattering the minimal cardinality of a system matrix for P} of maximal antichains from P that do not have a common refinement. Shift of notation  (P,  )  h (P,<) • One sided horizon… B. Balcar, J. Pelant, P. Simon. The space of ultrafilters on N covered by nowhere dense sets. Fund. Math. 110 (1980), 11-24 B. Balcar, M. Doucha, and M. Hrusak, Base tree property, Order 32 (2015), no. 1, 69 – 81 Toposym 2016 Vojtas. Base Tree Phenomenological Horizons 6

  7. Perception: a (two sided) horizon between convergent and divergent series • Comparison tests • What is stronger under eventual 1/n dominance a n <* b n (  * resp.)? 1/2n a n ? • Divergence: a n <* b n is stronger • Convergence: a n <* b n is stronger • ( l 1 ,  *) directed upwards (stronger) + \ l 1 ,  *) Boolean-like (topology-like) • (c 0 downwards (stronger) + \ l 1 ,  *) is not separative: 1/2n < 1/n • (c 0 + \ l 1 , a n <* 1/n, s.t. but there is no a n  c 0 min(a n , 1/2n)  l 1 Toposym 2016 Vojtas. Base Tree Phenomenological Horizons 7

  8. + : a n  0, lima n =0,  a n =+  or  a n <+  c 0 • Eventual dominance a n <* b n decides only topologically small sets (horizon is topologically large?) • ( l 1 ,  *) directed upwards, b ( l 1 ,  *) ZFC sensitive + \ l 1 ,  *) Boolean downwards • (c 0 + \ l 1 ,  *) ZFC sensitive t (c 0 • There is an (  1 ,  1 * ) gap ( narrow path ) • There is base tree ( broad way ) Toposym 2016 Vojtas. Base Tree Phenomenological Horizons 8

  9. + horizon c 0 • Eventual dominance a n <* b n • ( l 1 ,  *) directed upwards, b ( l 1 ,  *) + \ l 1 ,  *) Boolean downwards • (c 0 • (  1 ,  1 * ) gap (narrow path), base tree (broad way) 1 𝑙 \ ℓ 1 on pass … • Plateau ℓ 1+ • Explicit language of analysis is countable • Set-theoretic topology can handle this phenomenon Toposym 2016 Vojtas. Base Tree Phenomenological Horizons 9

  10. Various h (P) formulations The following are equivalent with  < h (P) (4) Forcing with (P,  )/  does not add a new function from  to ordinals. (  a separative quotient) (5) In the following game G(P,  ) the player (1) RO((P,  )/  ) is  -distributive. INC does not have a winning strategy. (2) The intersection of  open dense The game G(P,  ) is played in  rounds, and subsets of (P,  ) that are closed under  is INC , the two players INC and COM choose p  dense in (P,  ). COM in the  th round such that for all  < p   <  , ( 2’) The intersection of  open dense subsets of (P,  )/  is dense in (P,  )/  INC  p  COM  p  INC  p  COM . p  (3) Every family of maximal  antichains in In the end, player INC wins iff the sequence P has a refinement. of moves does not have a lower bound in P ( 3’) Every family of maximal  antichains in or if at some round he/she has no legal P/  has a refinement. move. S. Fuchino, H. Mildenberger, S. Shelah, and P. Vojtas, On absolutely divergent series , Fund. Math. 160 (1999), no. 3, 255 – 268 Toposym 2016 Vojtas. Base Tree Phenomenological Horizons 10

  11. h (P) – we will use (2) The following are equivalent with  < h (P) (4) Forcing with (P,  )/  does not add a new function from  to ordinals. (  a separative quotient) (5) In the following game G(P,  ) the player (1) RO((P,  )/  ) is  -distributive. INC does not have a winning strategy. (2) The intersection of  open dense The game G(P,  ) is played in  rounds, and subsets of (P,  ) that are closed under  is INC , the two players INC and COM choose p  dense in (P,  ). COM in the  th round such that for all  < p   <  , ( 2’) The intersection of  open dense subsets of (P,  )/  is dense in (P,  )/  INC  p  COM  p  INC  p  COM . p  (3) Every family of maximal  antichains in In the end, player INC wins iff the sequence P has a refinement. of moves does not have a lower bound in P ( 3’) Every family of maximal  antichains in or if at some round he/she has no legal P/  has a refinement. move. S. Fuchino, H. Mildenberger, S. Shelah, and P. Vojtas, On absolutely divergent series , Fund. Math. 160 (1999), no. 3, 255 – 268 Toposym 2016 Vojtas. Base Tree Phenomenological Horizons 11

  12. Are Base Tree Phenomenological Horizon always (cBa) isomorph? • Balcar-Doucha-Hrusak Base Tree Property - BTP • In l 1 a n ⊴ ∗ b n iff 𝑏𝑜+1 ≤ ∗ 𝑐𝑜+1 𝑐𝑜 is 𝑏𝑜 Boolean upwards and BTP, t ( ⊴ ∗ ) + \ l 1 ,  *) Boolean downwards BTP • (c 0 • Under CH are all cBA isomorph – are they always? PV, PAMS 117,1 (1993, Toposym 1991) • Presented 1990 to S. Shelah, last correc- …………….. tion at TOPOSYM 96 , Fund.Math. 1999 + \ l 1 ,  *) < h (  (  ) / fin ,  *) ) Con( h (c 0 S. Fuchino, H. Mildenberger, S. Shelah, and P. Vojtas, On absolutely divergent series , Fund. Math. 160 (1999), no. 3, 255 – 268 Toposym 2016 Vojtas. Base Tree Phenomenological Horizons 12

Recommend


More recommend