Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета
Kriegl A., Michor P.W. - The Convenient Setting of Global Analysis
Скачать книгу с нашего сайта нельзя Обсудите книгу на научном форуме
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: The Convenient Setting of Global Analysis
Авторы: Kriegl A., Michor P.W.
Аннотация: This book lays the foundations of differential calculus in infinite dimensions and discusses those applications in infinite dimensional differential geometry and global analysis not involving Sobolev completions and fixed point theory. The approach is simple: a mapping is called smooth if it maps smooth curves to smooth curves. Up to Fréchet spaces, this notion of smoothness coincides with all known reasonable concepts. In the same spirit, calculus of holomorphic mappings (including Hartogs' theorem and holomorphic uniform boundedness theorems) and calculus of real analytic mappings are developed. Existence of smooth partitions of unity, the foundations of manifold theory in infinite dimensions, the relation between tangent vectors and derivations, and differential forms are discussed thoroughly. Special emphasis is given to the notion of regular infinite dimensional Lie groups. Many applications of this theory are included: manifolds of smooth mappings, groups of diffeomorphisms, geodesics on spaces of Riemannian metrics, direct limit manifolds, perturbation theory of operators, and differentiability questions of infinite dimensional representations.
Язык:
Рубрика: Математика /Анализ /Продвинутый анализ /
Статус предметного указателя: Готов указатель с номерами страниц
ed2k: ed2k stats
Год издания: 1997
Количество страниц: 618
Добавлена в каталог: 02.04.2005
Операции: Положить на полку |
Скопировать ссылку для форума | Скопировать ID
Предметный указатель
, operational cotangent bundle 337
, set of points in with pairwise distinct coordinates 227
, -ball centered at x 156
-topology, compact-open 436
-topology, Whitney 436
space of -functions with k-th derivative bounded by b 159
, space of -functions with k-th derivative bounded 159
, smooth 30
-algebra, augmented local convenient 316
-algebras, Chart description of functors induced by 316
-approximation property 70
-complete space 20
-completion 47
-open set 19
-structure 264
-topology 19
, space of smooth mappings 30
, space of smooth curves 28
, space of smooth functions with bounded derivatives 159
-manifold structure of 442
-manifold structure on 443
-ext, a class of locally convex spaces 212
50
, space of 0-sequences 142
50
, space of operational vector fields 322
, space of operational tangent vectors of order d 278
, space of operational tangent vectors of homogeneous order d 278
, iterated directional derivative 26
, linear space generated by B C E 11 576
, bornologification of E 35
, Stiefel manifold of k-frames 514
15
53
, adjoint mapping 8
50
21
(complexification of m), complex manifold 105
, Stiefel manifold of orthonormal k-frames 514
, space of polynomials of degree p 61
, interpolation polynomial 228
, Riemann sum 15
, group of permutations 57
, polar 578
-topology 435
-topology 436
, bornological tensor algebra 57
, bornological symmetric algebra 57
, bornological exterior algebra 57
, diagonal mapping 59
, natural embedding into the bidual 16
90
-curve 9
-mapping 118
, space of -functions with global Lipschitz-constant K for the k-th derivatives 159
, space of functions with locally bounded difference quotients 229
, space of -functions with k-th derivatives globally Lipschitz 159
, manifold of smooth mappings 439
, first countable cardinal 46
-converging sequence 35
-isolating 203
, space of differential forms 352
, space of differential forms with values in a convenient vector space V 352
, space of differential forms with values in a vector bundle E 352
, first uncountable ordinal number 49
bornological tensor product 55
1-norm 137
, -norm 139
1-form, kinematic 337
1-form, modular 337
1-form, operational 337
1-isolating 203
Absolutely convex 576
Absolutely convex Lipschitz bound 17
Absorbing 575
Absorbs 34
Addition, local 441
Adherence of order , Mackey 48 49 51
Adherence of order , sequential 41
Adjoint mapping 8
Adjoint mapping , representation 373
Algebra, bounded 63
Algebra, commutative 57
Algebra, De Rham cohomology 354
Algebra, exterior 57
Algebra, formally real commutative 305
Algebra, graded-commutative 57
Algebra, symmetric 57
Algebra, tensor 57
Algebra, Weil 306
Algebraic bracket of vector valued differential forms 359
Algebraic derivation 358
Almost complex structure 368
Almost continuous function 87
Alternating tensor 57
Alternator, alt 57
Analytic subsets 241
Anti-derivative 20
Approximation of unity 27
Approximation property, bornological 70 280
Approximation property, Mackey 70
arc-generated vector space 39
Asplund space 135
Asplund space, weakly 136
Associated bundle 382
Atlas 264
Atlas, equivalent 264
Atlas, holomorphic 264
Atlas, principal bundle 380
Atlas, real analytic 264
Atlas, smooth 264
Atlas, stereographic 512
Atlas, vector bundle 287
Augmented local convenient -algebra 316
Automorphism, inner 373
Barrelled locally convex space 579
Base of a vector bundle 287
Base space of a fiber bundle 376
Basis of a fiber bundle 376
Bezoutiant matrix 537
Bianchi identity 377
Biholomorphic mappings 264
Bilinear concomitants, natural 367
Bipolar 16
Bornivorous 34
Bornivorous, set 35
Bornological approximation property 70 280
Bornological embedding 48
Bornological isomorphism 8
Bornological locally convex space 575
Bornological mapping 19
Bornological tensor product 55
Bornological vector space 34
Bornologically compact set 62 88
Bornologically compact subset 41
Bornologically real analytic curve 99
Bornologification 35
Bornologification of a locally convex space 575
Bornology of a locally convex space 8 575
Bornology on a set 21
Bounded algebra 63
Bounded completant set 580
Bounded linear mapping 8
Bounded mapping 19
Bounded modules 63
Bounded set 575
Bounding set 19
Bump function 153
Canonical flip 293
Canonical involution 293
Carrier of a mapping 153
Cartan developing 427
Cartesian closedness 30
Cech cohomology set 288
Chain rule 33
Characteristic vector field 467
Chart changing mapping 264
Chart description of functors induced by -algebras 316
Chart description of Weil functors 307
Chart of a foliation, distinguished 273
Chart, submanifold 268
Chart, vector bundle 287
Christoffel forms 377
Classifying connection 485
Classifying space 485 487
Closed differential forms 353
Co-algebras, convenient 246
Co-commutative 246
Co-idempotent 247
CO-topology 434 436
Cocurvature of a connection 366
Cocycle condition 288 376 414
Cocycle of transition functions 288 376
Cohomologous transition functions 288 380
Cohomology algebra, De Rham 354
Cohomology classes of transition functions 288
Colimit 576
Commensurable groups 510
Commutative algebra 57
Comp, the composition mapping 31
Compact-open -topology 436
Compact-open topology 434
Compatible vector bundle charts 287
Completant set, bounded 580
Complete space, locally 20
Complete space, Mackey 15
Completely regular space 46
Completion of a locally convex space 16
Complex differentiable mapping 81
Complexification of manifold M 20
Composition, smoothness of 444
Composition, truncated 431
Conjugate pair 583
Conjugate pair, dual 586
Conjugation 373
Connection 366
Connection form, Lie algebra valued 387
Connection on a fiber bundle 376
Connection, classifying 485
Connection, induced 394 394
Connection, linear 396 397
Connection, principal 387
Connections, space of 479
Connector 397
Contact diffeomorphisms 467
Contact distribution 467
Contact form 467
Contact graph of a diffeomorphism 470
Contact manifold 467
Contact structure, exact 467
Continuous derivation over 276
Convenient -algebra, augmented local 316
Convenient co-algebras 246
Convenient vector space 2 7 20
Convex function, dual of a 131
Convolution 27
Coproduct 576
Cotangent bundle, kinematic 337
Cotangent bundle, operational 337
Covariant derivative 397
Covariant exterior derivative 392 399
Covariant Lie derivative 399
Covering space, universal 271
Curvature 366 398
Curve, bornologically real analytic 99
Curve, differentiable 8
Curve, holomorphic 81
Curve, locally Lipschitzian 9
Curve, smooth 9
Curve, topologically real analytic 99
d, differentiation operator 33
De Rham cohomology algebra 354
Definite integral 16
Density number densX of a topological space 152
Density of subset of 22
Dentable subset 135
Derivation over , continuous 276
Derivation, algebraic 358
Derivation, graded 358
Derivation, order of a 277
Derivative of a curve 8
Derivative, covariant 397
Derivative, covariant exterior 392 399
Derivative, covariant Lie 399
Derivative, directional 128
Derivative, left logarithmic 404
Derivative, left trivialized 374
Derivative, Lie 347 360
Derivative, n-th 58
Derivative, right logarithmic 404
Derivative, unidirectional iterated 62
Diffeomorphic manifolds 264
Diffeomorphism, contact 467
Diffeomorphism, F-foliated 272
Diffeomorphism, group 454
Diffeomorphism, holomorphic 264
Diffeomorphism, real analytic 264
Diffeomorphism, symplectic 460
Difference quotient 13 119
Difference quotient, equidistant 119
Differentiable curve 8
Differential forms 353
Differential forms, f-related vector valued 366
Differential forms, horizontal 392
Differential forms, horizontal G-equivariant W-valued 401
Differential forms, vector valued kinematic 359
Differential group of order k 432
Differential of a function 285
Differentiation operator 33
Direct sum 576
Directed set 577
Directional derivative 128
Distinguished chart of a foliation 273
Dual conjugate pair 586
Dual mapping 8
Dual of a convex function 131
Dual of a locally convex space, strong 579
Dual pair, weak topology for a 578
Dual space E' of bounded linear functionals on a space E 8
Dual space E* of continuous linear functionals on a space E 8
Dunford - Pettis property 200
E*, dual space of continuous linear functionals 8
E, completion of E 16
Embedding of manifolds 269
Embedding, bornological 48
Equicontinuous sets 15
Equidistant difference quotient 119
Equivalent atlas 264
Evolution, right 410
Exact contact structure 467
Exact differential forms 353
Expansion at x 311
Expansion property 311
Exponential law 445
Exponential mapping 372
Expose a subset 130
Extension of groups 412
Extension property 47
Extension property, scalar valued 221
Extension property, vector valued 221
Реклама