Handbook of Convex Geometry

Cover......Page 1
Title Page......Page 4
Copyright Page......Page 5
Preface\0......Page 6
Contens of Volume A......Page 8
Contents of Volume B......Page 9
List of Contributors\0......Page 12
Part 3, Discrete Aspects of Convexity\0......Page 14
3.1. Geometry of numbers\0......Page 16
2. Lattices and the space of lattices\0......Page 18
3. The fundamental theorems\0......Page 21
4. The Minkowski-Hlawka theorem\0......Page 25
5. Successive minima\0......Page 27
6. Reduction theory\0......Page 28
6.1. Korkin-Zolotarev reduction\0......Page 29
6.2. LLL or Lovdsz reduction\0......Page 30
7.1. Lattice constants\0......Page 31
7.3. Moment problem\0......Page 32
7.5. Conjecture on the product of non-homogeneous linear forms\0......Page 33
References\0......Page 34
3.2. Lattice points\0......Page 42
1.1. Introduction\0......Page 44
1.2. General definitions and notation\0......Page 45
2.1. Minkowski\'s fundamental theorem\0......Page 46
2.2. Successive minima\0......Page 47
3.1. Lattice points and intrinsic volumes\0......Page 48
3.2. Classes of lattices\0......Page 51
3.3. Nonlinear inequalities\0......Page 53
4.1. General lattice polytopes\0......Page 55
4.2. Convex lattice polytopes: Equalities\0......Page 56
4.3. Convex lattice polytopes: Inequalities\0......Page 58
5. Lattice polyhedra in combinatorial optimization\0......Page 59
5.1. The combinatorics of associated lattice polyhedra\0......Page 60
5.2. Polyhedral combinatorics\0......Page 61
6.1. Algorithmic problems in geometry of numbers\0......Page 63
6.2. NP-hard problems\0......Page 64
6.3. Polynomial time solvability\0......Page 65
6.4. The complexity of computing upper and lower bound functionals\0......Page 66
References\0......Page 67
3.3. Packing and covering with convex sets\0......Page 76
1. Introduction\0......Page 78
2.1. Densities\0......Page 80
2.2. Existence of efficient arrangements\0......Page 83
2.3. Upper bounds for S(Bd) and lower bounds for j4(Bd)\0......Page 87
2.4. Constructive methods for dense packings\0......Page 91
2.5. Lattice arrangements\0......Page 95
2.6. Multiple arrangements\0......Page 98
3.1. Spherical space\0......Page 101
3.2. Hyperbolic space\0......Page 108
4.1. Existence of efficient arrangements\0......Page 111
4.2. Upper bounds for packing densities and lower bounds for covering densities\0......Page 114
4.3. Additional results on density bounds\0......Page 117
5.1. Other concepts of efficiency of arrangements\0......Page 120
5.2. Density bounds for arrangements with restricting conditions\0......Page 122
5.3. Newton number and related problems\0......Page 126
References\0......Page 127
3.4. Finite packing and covering\0......Page 138
1.2. General packing and covering problems\0......Page 140
1.3. The scope of this survey\0......Page 141
2. Sausage problems\0......Page 142
2.1. Densities\0......Page 143
2.2. Sphere packings and sphere coverings\0......Page 144
2.3. General convex bodies\0......Page 148
2.4. Algorithmic aspects\0......Page 149
2.5.1. Lattice covering\0......Page 153
2.5.3. Dispersion\0......Page 154
2.5.4. Crystallography\0......Page 155
3.1. Bin packing problems and their relatives\0......Page 156
3.2. Approximation algorithms\0......Page 159
3.3. Some applications\0......Page 161
4.1. Some container problems\0......Page 162
4.2.2. Minimum energy packing\0......Page 164
4.2.4. Insphere, circumsphere and related problems\0......Page 165
4.3. The Koebe-Andreev-Thurston theorem and its relatives\0......Page 166
4.4. Packing and covering in combinatonal optimization\0......Page 167
References\0......Page 168
3.5. Tilings\0......Page 176
1. Introduction\0......Page 178
2. Basic notions\0......Page 179
3.1. Tilings by regular polygons\0......Page 183
3.2. Some general results on well-behaved plane tilings\0......Page 185
3.3. Classification with respect to topological transitivity properties\0......Page 189
3.4. Classification with respect to symmetries\0......Page 190
4. Monohedral tilings\0......Page 192
4.1. Lattice tilings\0......Page 193
4.2. Prototiles of monohedral tilings\0......Page 195
4.3. Monotypic tilings\0......Page 197
5. Non-periodictilings\0......Page 198
References\0......Page 203
3.6. Valuations and dissections\0......Page 210
1.1. Euclidean notions\0......Page 212
1.2. Valuations\0......Page 213
1.3. Extensions\0......Page 215
2.1. Volume and derived valuations\0......Page 216
2.3. The lattice point enumerator\0......Page 220
3.1. The algebra structure\0......Page 221
3.2. Negative dilatations and Eulcr-type relations\0......Page 226
3.4. The cone group\0......Page 227
3.5. Translation covariance\0......Page 228
3.6. Mixed polytopes\0......Page 230
3.8. Invariance under other groups\0......Page 231
4.1. The algebra of polytopcs\0......Page 232
4.2. Cones and angles\0......Page 234
4.3. The pol\'tope groups\0......Page 236
4.4. Spherical dissections\0......Page 237
4.5. Hilbcrt\'s third problem\0......Page 242
5. Characterization theorems\0......Page 245
5.1. Continuity and monotonicity\0......Page 246
5.2. Minkowski additive functions\0......Page 247
5.3. Volume and moment\0......Page 250
5.4. Intrinsic volumes and moments\0......Page 252
5.5. Translation invariance and covariance\0......Page 253
5.6. Lattice invariant valuations\0......Page 256
References\0......Page 257
3.7. Geometric crystallography\0......Page 266
1.1. Basic definitions\0......Page 268
1.2. Isometries\0......Page 269
1.3. Groups of symmetry operations\0......Page 270
1.4. Regularity condition for an (r, R)-system\0......Page 272
2.1. Definition and basic properties of Dirichlet domains\0......Page 273
2.2. Characterization of Dirichlet domains\0......Page 275
2.3. Dirichlet domain partition\0......Page 276
2.4. Regularity condition for normal space partitions\0......Page 278
3. Translation lattices\0......Page 279
3.1. Lattice bases\0......Page 280
3.2. Lattice planes\0......Page 281
3.3. Parallelotopes\0......Page 282
3.4. Results on parallelotopes\0......Page 284
3.5. Determination of a lattice basis\0......Page 285
4.1. Definition of the Z-reduced form\0......Page 286
4.2. The reduction scheme of Lagrange\0......Page 287
4.3. The reduction scheme of Seeber\0......Page 288
4.4. The reduction scheme of Selling\0......Page 289
4.5. The reduction scheme of Minkowski\0......Page 290
4.6. Optimal bases\0......Page 291
5.1. Crystallographic symmetry operations\0......Page 292
5.2. Crystallographic point groups\0......Page 295
5.3. Symmetry of translation lattices\0......Page 297
5.4. Crystal forms\0......Page 299
6. Infinite groups of symmetry operations\0......Page 300
6.1. Space groups\0......Page 301
6.2. Crystallographic orbits\0......Page 303
6.3. Packing of balls\0......Page 304
6.4. Colour groups\0......Page 306
6.5. Subpenodic groups\0......Page 307
7.1. Definitions\0......Page 308
7.2. The projection method\0......Page 309
References\0......Page 310
Part 4, Analytic Aspects of Convexity\0......Page 320
4.1. Convexity and differential geometry\0......Page 322
Introduction\0......Page 324
1. Differential geometric characterization of convexity\0......Page 325
2. Elementary symmetric functions of principal curvatures respectively principal radii of curvature at Euler points\0......Page 330
3. Mixed discriminants and mixed volumes\0......Page 336
4. Differential geometric proof of the Aleksandrov-Fenchel-Jessen inequalities\0......Page 342
5. Uniqueness theorems for convex hypersurfaces\0......Page 347
6. Convexity and relative geometry\0......Page 352
7. Convexity and affine differential geometry\0......Page 354
References\0......Page 355
4.2. Convex functions\0......Page 358
1.1. Mid-convexity and continuity\0......Page 361
1.2. Lower semi-continuity and closure of convex functions\0......Page 362
1.3. Conjugate convex functions\0......Page 365
2.1. Functions defined on R\0......Page 367
2.2. Related concepts\0......Page 369
2.3. Functions defined on a linear space I\0......Page 372
2.4. Differentiable convex functions\0......Page 376
3.1. Classical inequalities\0......Page 377
3.2. Matrix inequalities\0......Page 378
References\0......Page 380
4.3. Convexity and calculus of variations\0......Page 382
Introduction\0......Page 384
1.2. The second derivative test\0......Page 385
2.1. Examples\0......Page 386
2.2. A necessary condition: The Euler-Lagrange equation\0......Page 387
2.3. Convex integrals\0......Page 388
2.4. Further sufficient conditions\0......Page 390
2.5. Broken extremals\0......Page 392
2.6. Existence and regularity. Lower semicontinuity\0......Page 393
2.7. Relaxation and convexification\0......Page 396
2.8. Problems in parametric form. Geometric theory\0......Page 397
3. Multiple integrals in the calculus of variations\0......Page 399
3.1. Convex integrals\0......Page 400
3.2. The necessary conditions of Weierstrass and Legendre\0......Page 401
3.3. Sufficient conditions with invariant integrals\0......Page 402
3.4. Lower semicontinuity and existence\0......Page 403
3.5. Problems in parametric form\0......Page 404
References\0......Page 406
4.4. On isoperimetric theorems of mathematical physics\0......Page 408
2. Historical and bibliographical comments\0......Page 410
3. Rearrangements\0......Page 411
4. Capacity\0......Page 414
5. Torsional rigidity\0......Page 416
6. Clamped membranes\0......Page 418
7. Clamped plates\0......Page 420
References\0......Page 422
4.5. The local theory of normed spaces and its applications to convexity\0......Page 426
1. Introduction\0......Page 428
2.1. A few classic facts and definitions\0......Page 429
2.2. Type, cotype and related notions\0......Page 432
2.3. Ideal norms and p-absolutely summing operators\0......Page 439
3.1. Hilbertian subspaces\0......Page 442
3.2. Embedding of and into tp\0......Page 448
4.1. John\'s theorem and ellipsoids related to it\0......Page 452
4.2. Inertia ellipsoids, isotropic position and generalized Khintchine inequality\0......Page 455
4.3. M ellipsoids and the inverse Brunn-Minkowski inequality\0......Page 459
5.1. Distances from and projections on classical spaces, especially t2\0......Page 462
5.2. Random normed spaces and existence of bases\0......Page 468
5.3. Random operators and the distances between spaces of some special families\0......Page 472
6.1. Isomorphic symmetrization and its applications\0......Page 477
6.2. Zonoids and Minkowski sums, approximation and symmetrization\0......Page 481
6.3. Some additional results\0......Page 486
References\0......Page 488
4.6. Nonexpansive maps and fixed points\0......Page 498
1.1. Main definitions\0......Page 500
2. Some examples\0......Page 501
3. Some results (and some history)\0......Page 502
3.1. Main results\0......Page 503
3.3. Asymptotic centers and minimal invariant sets\0......Page 504
4.1. Generalizing the class of mappings\0......Page 505
4.2. Generalizing the space\0......Page 506
4.5. Fixed points and unbounded sets\0......Page 507
5.2. The structure of the fixed point set\0......Page 508
6. Some other general facts\0......Page 509
6.2. Some general references\0......Page 510
References\0......Page 511
4.7. Critical exponents\0......Page 514
1. Motivation\0......Page 516
2. History\0......Page 520
3. Hilbert space\0......Page 521
4. Polytopes\0......Page 525
5. Open problems\0......Page 530
References\0......Page 532
4.8. Fourier series and spherical harmonics in convexity\0......Page 536
1.1. Convex bodies\0......Page 538
1.2. The Laplace-Beltrami operator\0......Page 540
1.3. Fourier series\0......Page 541
1.4. Spherical harmonics\0......Page 542
2.1. The work of Hurwitz on the isoperimetric inequality\0......Page 545
2.2. The Fourier expansion of the support function and mixed area inequalities\0......Page 546
2.3. Circumscribed polygons and rotors\0......Page 548
2.4. Other geometric applications of Fourier series\0......Page 552
3.1. The harmonic expansion of the support function\0......Page 554
3.3. More about functions on the sphere with vanishing integrals over great circles\0......Page 555
3.4. Projections of convex bodies and related matters\0......Page 557
3.5. Functions on the sphere with vanishing integrals over hemispheres\0......Page 560
3.6. Rotors in polytopes\0......Page 561
3.7. Inequalities for mean projection measures and mixed volumes\0......Page 562
3.8. Wirtinger\'s inequality and its applications\0......Page 564
3.9. Other geometric applications of spherical harmonics\0......Page 566
References\0......Page 567
4.9. Zonoids and generalisations\0......Page 574
2. Basic definitions and properties\0......Page 576
3. Analytic characterisations of zonoids\0......Page 582
4. Centrally symmetric bodies and the spherical Radon transform\0......Page 584
5. Projections onto hyperplanes\0......Page 589
6. Projection functions on higher rank Grassmannians\0......Page 592
7. Classes of centrally symmetric bodies\0......Page 594
8. Zonoids in integral and stochastic geometry\0......Page 596
References\0......Page 598
4.10. Baire categories in convexity\0......Page 604
2. A typical proof of a Baire category type result in convexity\0......Page 606
3. Boundary properties of arbitrary convex bodies\0......Page 607
4. Smoothness and strict convexity\0......Page 608
5. Geodesics\0......Page 610
7. Normals, mirrors and diameters\0......Page 611
8. Approximation of convex bodies by polytopes\0......Page 612
10. Shadow boundaries\0......Page 614
11. Metric projections\0......Page 615
12. Miscellaneous results for typical convex bodies\0......Page 616
13. Starbodies, starsets and compact sets\0......Page 617
References\0......Page 618
Part 5, Stochastic Aspects of Convexity\0......Page 624
5.1. Integral geometry\0......Page 626
1. Preliminaries: Spaces, groups, and measures\0......Page 628
2. Intersection formulae\0......Page 630
3. Minkowski addition and projections\0......Page 637
4. Distance integrals and contact measures\0......Page 642
5. Extension to the convex ring\0......Page 648
6. Translative integral geometry and auxiliary zonoids\0......Page 652
7. Lines and flats through convex bodies\0......Page 656
References\0......Page 663
5.2. Stochastic geometry\0......Page 668
Preliminaries.\0......Page 670
1. Random points in a convex body\0......Page 672
2. Random flats intersecting a convex body\0......Page 679
3. Randoin convex bodies.\0......Page 681
4. Random sets\0......Page 684
5. Point processes.\0......Page 687
6. Random surfaces\0......Page 696
7. Random mosaics.\0......Page 700
8. Stereology\0......Page 705
References.\0......Page 708
Author Index \0......Page 716
Subject Index \0......Page 750
Back Cover......Page 770