Infinite Direct Sums and Standard Inclusions and Projections

In summary, B&K's book "An Introduction to Rings and Modules With K-Theory in View" discusses infinite direct products and sums in Chapter 2, specifically in Sections 2.1.11 and 2.1.12. In Section 2.1.13, the authors comment on the implications of these concepts. One of the remarks (ii) states that it is impossible to assign meaning to an infinite set of maps, while we can do so for an infinite set of modules or submodules. The author, Peter, asks for clarification on why this is the case. B&K's response is that while we can assign meaning to an infinite set of maps, adding the images of each map together would take
  • #1
Math Amateur
Gold Member
MHB
3,990
48
I am reading An Introduction to Rings and Modules With K-Theory in View by A.J. Berrick and M.E. Keating (B&K).

In Chapter2: Direct Sums and Short Exact Sequences in Sections 2.1.11 and 2.1.12 B&K deal with infinite direct products and infinite direct sums (external and internal).

In Section "2.1.13 Remarks", B&K comment on the implications of Sections 2.1.11 and 2.1.12.

Remark (ii) reads as follows:View attachment 3355My question related to B&K's remark above is as follows:

Why is it impossible to attach a meaning to an infinite set of maps (standard inclusions and projections that is ...)? We can attach meaning to an infinite set of modules or submodules ... ... Why is it more abstract or difficult (in fact, impossible!) to attach meaning to an infinite set of maps?

Could someone please clarify and explain B&Ks remark.

Peter***NOTE***

I am aware that in the text displayed above, B&K talk about an infinite 'sum' of maps saying ..." ... ... since it is impossible to attach a meaning to an infinite sum of maps ... ... "

BUT ... ... as far as I can see, the proposition to which they refer (Proposition 2.1.7) only seems to involve a list, not a sum of maps ...

Section 2.1.7 reads as follows:View attachment 3356
 
Physics news on Phys.org
  • #2
There is no problem with assigning meaning to an infinite SET of maps.

But if we try to add the images of each map together, we have to wait an awfully long time for the "result".
 

1. What is an infinite direct sum?

An infinite direct sum is a mathematical concept that involves combining an infinite number of mathematical objects, such as vectors or matrices, into a single object. It is denoted by the symbol ⊕ and is used to represent the sum of two or more objects without any overlap.

2. How is an infinite direct sum different from a finite direct sum?

The main difference between an infinite direct sum and a finite direct sum is the number of objects being combined. In a finite direct sum, only a finite number of objects are being combined, while in an infinite direct sum, an infinite number of objects are being combined. Additionally, infinite direct sums often involve infinite-dimensional vector spaces, while finite direct sums involve only finite-dimensional vector spaces.

3. What are standard inclusions and projections in an infinite direct sum?

Standard inclusions and projections are mappings that are used to construct an infinite direct sum. The standard inclusion maps an object into the direct sum by including it as the first component, while the standard projection maps the direct sum onto each of its individual components. These mappings are important for defining the properties of the infinite direct sum and for performing calculations with it.

4. What are the properties of infinite direct sums?

Infinite direct sums have several important properties, including the commutativity, associativity, and distributivity of the direct sum operation. They also have a zero element, which is an object that has no effect when added to another object in the direct sum. Additionally, infinite direct sums have the property of being closed under finite sums, meaning that any finite sum of objects in the direct sum is also an element of the direct sum.

5. How are infinite direct sums used in mathematics?

Infinite direct sums have various applications in mathematics, including in algebra, functional analysis, and topology. They are particularly useful in studying infinite-dimensional vector spaces and in constructing new mathematical objects. They also have applications in physics and engineering, where they are used to model systems with an infinite number of components.

Similar threads

  • Linear and Abstract Algebra
Replies
2
Views
2K
  • Linear and Abstract Algebra
Replies
2
Views
1K
  • Linear and Abstract Algebra
Replies
4
Views
1K
  • Linear and Abstract Algebra
Replies
12
Views
2K
  • Linear and Abstract Algebra
Replies
4
Views
1K
Replies
4
Views
1K
Replies
7
Views
2K
  • Linear and Abstract Algebra
Replies
7
Views
2K
  • Linear and Abstract Algebra
Replies
15
Views
3K
  • Linear and Abstract Algebra
Replies
10
Views
2K
Back
Top