Register to reply

Bachman on chains

by Rasalhague
Tags: bachman, chains
Share this thread:
Rasalhague
#1
May11-11, 12:37 PM
P: 1,402
Bachman: A Geometric Approach to Differential Forms, p. 65:

A k-chain is a formal linear combination of k-cells. As one would expect, we assume the following relations hold:

S - S = {}

nS + mS = (n+m)S

S + T = T + S
Questions. (1) I know the term linear combination from linear algebra, but what is a formal linear combination?

(2) What are n and m: integers, rational numbers, real numbers?

(3) Is it also assumed that m(S + T) = mS + mT, and does 1S = S? The numbers 1 and -1 distribute over cells in his definition of the boundary of a cell, and I think he assumes that the latter relation holds too. This would imply that k-chains make a vector space or a module, if m and n represent elements of a field or ring respectively.

(NOTE: Bachman writes n-chain and n-cells; I changed this to k, as I'm guessing the n in the name has no connection to the n in his second relation.)
Phys.Org News Partner Science news on Phys.org
Physical constant is constant even in strong gravitational fields
Montreal VR headset team turns to crowdfunding for Totem
Researchers study vital 'on/off switches' that control when bacteria turn deadly
Rasalhague
#2
May12-11, 12:58 PM
P: 1,402
This source also uses the expression "formal linear combination" in defining a chain (also without definition), although here the elements combined are maps from "p-simplices" that are subsets of Rp to a manifold M, rather than the images of unit cubes in Rp under a map to M. He also says, "Boundaries are a subset (in fact, a sub-vector space) of the cycles" (p. 64), and the cycles are a subset of the chains. So, reading between the lines, perhaps Bachman's chains and this guy (Pemantle)'s chains are vectors, in which case the coefficients of Bachman's cells would belong to a field, such as the rationals or the reals.
lavinia
#3
May12-11, 05:23 PM
Sci Advisor
P: 1,722
Quote Quote by Rasalhague View Post
Bachman: A Geometric Approach to Differential Forms, p. 65:



Questions. (1) I know the term linear combination from linear algebra, but what is a formal linear combination?
The simplices are geometric objects not elements of a Z-module. But on can formally write down Z-linear combinations of them as though they were. These linear combinations are really just symbols but they produce a Z-module just the same.

(2) What are n and m: integers, rational numbers, real numbers?
chains are usually first presented over the integers but one could just as easily use any commutative ring with identity. In this case I think n and m are integers because these letters typically denote integers.

(3) Is it also assumed that m(S + T) = mS + mT, and does 1S = S? The numbers 1 and -1 distribute over cells in his definition of the boundary of a cell, and I think he assumes that the latter relation holds too. This would imply that k-chains make a vector space or a module, if m and n represent elements of a field or ring respectively.

(NOTE: Bachman writes n-chain and n-cells; I changed this to k, as I'm guessing the n in the name has no connection to the n in his second relation.)
yes, 1S = S, m(S + T) = mS + mT is just scalar multiplication in the formal module.

To be precise the formal module is all formal linear combinations of the simplices modulo the equivalence relations, m(S + T) = mS + mT and so forth.

Rasalhague
#4
May13-11, 06:09 AM
P: 1,402
Bachman on chains

Thanks, lavinia. To summarise, the structure being defined by Bachman is a Z-module, meaning a module over the integers. Its elements are chains of cells with integer coefficients. "Formal" is (operationally) superfluous in formal linear combination, like the "linear" in "linear vector space"? But perhaps, although it doesn't denote any difference, it carries a connotation of being "merely symbolic". Pemantle defines his chains slightly differently with maps called simplices in place of Bachman's sets called cells. He probably allows the coefficients to be at least rationals, possibly reals, since he describes chains as vectors.


Register to reply

Related Discussions
A Geometric Approach to Differential Forms by David Bachman Differential Geometry 175
Poset, Chains and anti-chains Calculus & Beyond Homework 0
Markov Chains Precalculus Mathematics Homework 7
Spin chains Quantum Physics 4
Anyone knows about Markov Chains? Linear & Abstract Algebra 2