|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Behnke H., Bachmann F., Fladt K. — Fundamentals of Mathematics, Volume I: Foundations of Mathematics: The Real Number System and Algebra |
|
|
|
| Предметный указатель |
Infinity: actual 7
Infinity: axiom of 60
Infinity: Dedekind definition of 54
Infinity: potential 7
Initial case 95
Initial intervals 156
Initial segments 156 532
Inner composition 510
Inner product 234 266 269
Integer(s) 109 368
Integer(s), addition of 111
Integer(s), algebraic 401
Integer(s), algebraic, integral domain of 330
Integer(s), basis 402
Integer(s), Gaussian 316
Integer(s), module of 112 120
Integer(s), negative 113
Integer(s), positive 113
Integer(s), ring of 120
Integral domain(s) 119n47 323
Integral domain(s) of algebraic integers 330
Integrally closed ring 403
Intermediate Value Theorem 462
Interpretation(s) 20 22
Interpretation(s), isomorphic 30
Intersection 52 59 62 483 486 487
Intersection of fields 436
Intersection of subgroups 436
Interval(s): closed 499
Interval(s): initial 156
Interval(s): nested 133
INTO 64 509 510
Intramathematical 5
Introduction: assumption- 43 45
Introduction: existence- 48n23
Intuitionist(s) 6 534
Intuitive theory of sets 51
Invariant 183
Invariant field 402
Invariant subgroups 194
Inverse 111n34 123 167
Inverse element 111
Inverse function 64
Inverse left 167n2
Inverse mapping 510
Inverse right 167n2
Inversion formula of Mobius 389
Invertible 510
Invertible mapping 64
Invertible mapping, one-to-one 64
Invertible transformation 249
Irrational numbers 152n
Irrationality of  47
Irreducibility criterion of Eisenstein 347
Irreducible 328 357
Isobaric 350
Isolated (ordinal number) 161
Isomorphic interpretations 30
Isomorphic relations 64
Isomorphism 117 156 190 412 512
Isomorphism theorem 214
Isomorphism, order-preserving 144
Jacobi, symbol 400
Join, the 486 491
Jordan — Hoelder, theorem of 216 354 504
k-place predicate 16
Kant, Immanuel 4
Kernel 212
Kernel, -index notation 246
Klein four-group 491
Klein — Barmen, Fritz 483
Kneser, H. 530
Kronecker, symbols of 245
Kummer 403
Kuratowski, lemma of 524
Lagrange relation 398
Lagrange, Joseph Louis 186 406
Language(s), layer, second 136n74
Language(s), natural 4 9 85
Laplace, expansion 283
Lattice(s) 68 360 483 487 517
Lattice(s), -theoretic connectives 487
Lattice(s), Boolean 67 484 490 495
Lattice(s), complemented 68
Lattice(s), complete 138n76 491
Lattice(s), distributive 68 489
Lattice(s), modular 501
Lattice(s), points 204
Lattice(s), semi- 487
Lattice(s), set- 499
Lattice(s), sub- 492 517
Lattice(s), theory 28
Law of inertia (Sylvester) 272
Law of the excluded middle 8
Law, reflexive 53
Leading coefficients 299
Least common multiple 359
Least common upper element 486
Least element 490 523
Least upper bound 68 486
Left cosets 186
Left difference 161
Left ideals 357
Left inverse 167n2
Left residue classes 186
Left-multiplication in the domain of complex numbers 457
Leibniz, Gottfried Wilhelm 42
Lemma, fundamental, of the theory of divisibility 359
Lemma, Kuratowski's 524
Lemma, Zorn's 164 522 525
Length of a chain 216
Length of a group 216
Length, finite 495
Length, finite ascending 495
Length, finite descending 495
Levels of real numbers 8
Lexicographic ordering 130
Lexicographically ordered 159
Liar, Antinomy of the 76 81
Liar, Paradox of the 77
Limit number(s) 56 161
Limit of a sequence 132
Line(s) 506
Line(s), complex projective 471
linear combination 239
Linear form(s) 234 262 345n48
Linear form(s), module of 263
Linear form(s), multi- 264 268
Linear mappings 234
Linear order 485
Linear transformation 246
Linear transformation, ring of 249
Linearly dependent 240
Linearly independent 240 526
Linearly ordered 522
Little Desargues theorem 482
Loewenheim, and Skolem, theorem of 71
Logarithm 151
Logic, Algebra of Logic (Boole) 42
Logic, classical 4
Logic, history of 9
Logic, of the first order 73
Logic, of the second order 23n72. See also Predicate logic
Logic, operator in 16
Logical connectives 487
Logical matrix (truth table) 12
Logical symbols 484
Logicism 51
Logics, many valued 10
Longitudinal reflections 205
| Lorenzen, P. 40 72 79 94n3 536
Lower bound 523
Lower bound, greatest 68
Lower, element, greatest common 486
Lower, neighbor 485 523
Lowest common denominator 360
Lowest terms 360
Manifold(s): algebraic 354
Manifold(s): of zeros of an ideal 354
Many-place properties 21
Mapping(s) 64 509
Mapping(s), bilinear 234
Mapping(s), inverse 510
Mapping(s), invertible 64
Mapping(s), invertible, one-to-one 64
Mapping(s), linear 234
Mapping(s), normalization of a 280
Mapping(s), onto 395n
Mapping(s), rigid 172n
Mathematical induction 94
Mathematical system 508
Matrix(ces) 234
Matrix(ces), addition of 251
Matrix(ces), characteristic equation of a 286
Matrix(ces), coefficient 259
Matrix(ces), column rank of a 253
Matrix(ces), conjugate transposed 270
Matrix(ces), diagonal form of a 260
Matrix(ces), echelon 259
Matrix(ces), equivalence of 254
Matrix(ces), extended 259
Matrix(ces), Hermitian 271
Matrix(ces), logical 12
Matrix(ces), multiplication of 177 252
Matrix(ces), of a transformation 250
Matrix(ces), rank of a 255 260 284
Matrix(ces), skew-symmetric 314
Matrix(ces), square 177
Matrix(ces), unit 273
Maximal 525
Maximal chain 504
Maximal chain, principle, Hausdorff — Birkhoff 530 533
Maximal condition 360
Maximal element 164 523
Maximal ideal 403
Maximal segment 157
Maximal subgroup 186
Mechanics, quantum 10
Meet 487
Meet-hereditary 518
Mersenne numbers 371
Meta-metalanguage 85
Metalanguage 84
Metamathematics 3—4
Metric space 270
Metric structure 270
Metric, Hermitian 468
Minimal element 523
Minimal subgroup 186
Model 23 516
Modified principle of induction 101
Modular identity 501
Modular lattice 501
Modular, semi- 503
Modular, semi-, above 503
Modular, semi-, below 503
Module 111 318n4
Module of integers 112 120
Module of linear forms 263
Module, complete ordered 138
Module, ordered 120
Module, property 338
Modulo n, reduced 174
Modulo, a subgroup 380
Modulo, congruence, an ideal 341
Modulus 458
modus ponens 41
Moebius function 388
Moebius inversion formula 389
Monomorphic 73 521
Monomorphic system of axioms 30
Monotone endomorphism 146
Monotonic law for multiplication 120
Monotonicity of addition 100
Motions: group of 172
Motions: proper 214
Motions: spiral 205
Moufang, R. 482
Multilinear forms 264 268
Multiple zero 303
Multiple: least common 359
Multiplication 99
Multiplication group 28
Multiplication of determinants 280
Multiplication of endomorphisms 115
Multiplication of matrices 177 252
Multiplication of ordinal numbers 160
Multiplication of real numbers 146
Multiplication of transformations 248
Multiplication of vectors 267
Multiplication table 345
Multiplication table, for a group 188
Multiplication, algorithm for 34
Multiplication, componentwise 392
Multiplication, left-, in the domain of complex numbers 457
Multiplication, monotonic law for 120
Multiplicative: group of a field 324 357
Multiplicative: semigroup of a ring 357
Multiplicity of a zero 302
Multiplicity of a zero, criterion for 426
Naive set theory 51 534
Natural inference, system of 42
Natural languages 4 9 85
Natural number 72
Natural numbers, totality of 72
Natural science 27
Negation 13
Negative integers 113
Neighbor: lower 485 523
Neighbor: upper 523
Nested intervals 133
Neutral element 111 167 237
Nilpotent divisor of zero 342
Nilpotent groups 220
Noetherian rings 339
Nominalism 3
Nonelementary composition 510
Nonelementary structure 521
Nonseparable polynomial 424
Norm 403 460 470 481
normal 183
Normal extensions 420
Normal form, prenex 518
Normal polynomial 453
Normal subgroups 188 194 518
Normality conditions 265
Normalization of a mapping 280
Normalized 370
normalizer 218
Normed 449
Notation: autonomous 10n
Notation: kernel-index 246
nth root 148
NUMBER See also Complex numbers; number; number(s)
Number(s): A 77
Number(s): abundant 371
Number(s): algebraic 401
Number(s): amicable 372
Number(s): and numerals 39n14
Number(s): Betti 203
|
|
|
| Реклама |
|
|
|
|
|
О проекте