Está en la página 1de 10

Mathematics and Tensegrity

Group and representation theory make it possible to form a complete catalogue


of "strut-cable" constructions with prescribed symmetries

Robert Connelly and Allen Back

Tn the autumn of 1948, while experi- Snelson's sculptures, in which rigid graphic and computational capabilitie
J.menting with ways to build flexible, sticks or "compression members" (as an of computeB, have now made it possi
moduUrrtoweB,ayounga~tnwmed engineer might call them) are suspend- ble to draw up a complete catalogue 0
Kenneth Snelson constructed a sort of ed in midair by almost invisible cables tensegrities with certain prescribec
sculpture that had never been seen be- or very thin wires, can still be seen types of stability and symmetry, in
fore. As ethereal in appearance as a mer around the world. A remarkable, 60- cluding some that have never beel
bile, with no obvious weight-bearing el- foot-high sculpture, ''Needle Tower," is seen before.
ements, it nonetheless retained its shape displayed at the Hirshhorn Museum
and stability. '1 was quite amazed at and Sculpture Garden in Washington, What Is a Tensegrity?
what Ihad done," Snelson recalled four D.C. The idea has penetrated into low Tensegrities have a purity and simpIic
decades later. The following sununer he art as well. A number of baby toys em- ity that lead very naturally to a mathe
showed the sculpture to his mentor, the ploy the swme principles as Snelson's matical description. Putting aside th.
not-yet-fwmous inventor, ~t and self- original tensegrities. One could even ar- physical details of the construction
styled mathematician R Buckminster gue that the first tensegrities were not every tensegrity can be modeled math
Fuller. Before long, Fuller had adapted made by human beings: A spider web ematically as a configuration of points
Snelson's invention as a centerpiece of can also be viewed as a tensegrity, al- or vertices, satisfying simple distano
his system of synergetics, even to the beit one with no rigid parts. constraints. Snelson's structures afl
point -of calling the neW objects "my Although Fuller's geodesic domes held together with two types of desigi
structures" and promoting them in his and synergetics gained him worldwide elements (engineers say members)
many inspirational, free-ranging lec- renown, most of the mathematics that which can be called cables and struts
tures. In the process, he gave them the he used was already well established. The two elements play complementar:
name by which they are known today, However, his student Snelson's discov- roles: Cables keep vertices close to
referring to their integrity under ten- ery posed genuinely new mathematical gether; struts hold them apart. Twc
sion: tensegrity. questions, which are far from being vertices connected by a cable may b.
completely resolved: What is a tenseg- as close together as desired-the~
Robert Connelly is professor and chair in the rity? Why is it stable? Can tensegrities might even be on top of one another i
Department of MathemDlics at Cornell University. be classified or listed? the tensegrity collapsed-but they ma~
He received a Ph.D. in mathematics from the BrankoGriinbaum, a mathematician never be farther apart than the lengtl
University of Michigan at Ann Arbor. He IuJs vis- at the University of Washington in of the cable joining them. Similarl}
ited the Institut des JUutes Etudes Scientifique in Seattle, was especially responsible for two vertices joined by a strut may nev
Bures-sur- Yvette, the University of Dijon and the rekindling the interest of mathemati- er be closer than the length of the strul
University of Chambery in France, Syracuse but may be arbitrarily far apart.
cians in such questions, with a wonder-
University, the University of Montreal, E6tviJs
University in Budapest and Bielefeld University in ful set of mimeographed notes written The last point may seem surprisinl
Bielefeld, Germany. His research interests include in the early 1970s, called ''Lectures on at fiBt, because in most real tensegri
discrete geometry, particulDrly the study of rigid Lost Mathematics." In 1980, one of us ties the struts cannot get either longe
and flexible frameworks, distance geometry, pack- (Connelly) proved a conjecture of or shorter. In fact, the tenn "bar" ha
ings and coverings, and the shapes of asteroids. Griinbaum's that allows the systematic been used to describe a design elemen
Allen Back is Director of the Matll Department construction of stable planar tensegri- of fixed length. However, we havi
Instructional Computing lAb at Cornell. He ties. But the wonder and beauty of found that, most of the time, bars cat
received his Ph.D. in mathematics from tire Snelson's sculptures surely lies in their be replaced by struts without sacrific
University of California, Berkeley. His interests three-dimensional nature. One of the ing stability. Moreover, the concept 0
iflclllde differential geometry, topology, solid mod- struts can be applied to other prob
motivations of our recent work, there-
eling, robotics, dyruzmical systems and the produc-
fore, was to find a proper three-dimen- lerns, such as the packing of spherica
tion of mathemDtical software. Address for
Connelly: Department of Mathematics, White sional generalization. The mathematical balls. (In any such packing, the center
Hall, Cornell University, ItIUZCiJ, NY 14853. tools of group theory and representa- of the balls must keep a minimum dis
Iflternet: connelly@math.comell.edu. tion theory, coupled with the powerful tance but can be as far apart as desired

142 American Scientist, Volume 86


we 1. Tensegrity, a concept invented by Kenneth Snelson for use in
Ipture5, describes a structure that retains its integrity under ten-
n. Consisting of struts and cables, these three-dimensional assem-
ges may soar into the sky, float out across landscapes or describe
re familiar geometric figures. Tensegrities appear in high art, low
and nature, as illustrated by Snelson's sculpture "Needle Tower" at
Hirshhorn Museum and Sculpture Garden in Washington, D.C., a
der web and a child's toys (Slik-Trix and Tensegritoy, left and rigllt).
of these structures hold their shape because of internal tension, yet
thematical generalizations of their sometimes complex structure
Ie been difficult to develop. The authors have used the mathemati-
tools of group theory and representation theory, combined with
graphic capabilities of computers, to develop a complete catalogue
ensegrities with certain prescribed types of stability and symmetry.
,otograph at right courtesy of Kenneth Snelson; upper left photo-
ph courtesy of Design Science Toys Ltd.)

199H March-April 1-l3


bit, one obtains a new configuration
with the same strut lengths but a dif-
ferent shape from the original. More in-
terestingly, if one reverses the roles of
cables and struts in the X tensegrity, it
fails to be super stable, even consider-
ing only configurations in the plane. It
is rigid in the plane, in the sense that
4 3 4 there is no continuous or gradual mo-
initial configuration target configuration tion of the vertices that preserves the
cable and strut constraints. However, it
Figure 2. Snelson's X tensegrity (left) and its inverse (right), with struts and cables inter- is not rigid in space; like a hinge, it can
changed, demonstrate the corcept of super stability. The X tensegrity is super stable: Any be flexed into new shapes that are not
comparable configuration must either have shorter struts or longer cables. The Inverse Is not congruent to the original.
super stable, because it can be defonned by flipping along one digonal, so that the struts Unlike a rigid tensegrity, a super sta-
remain the same length while the other diagonal cable becomes shorter. Struts are shown in ble tensegrity must win against all the
green; cables are dashed lines. comparable configurations in any
number of dimensions-including di-
Thus a packing can be considered to be We have chosen a very direct and mensions 4 and higher. Mathemati-
a tensegrity with invisible struts.) strong definition, whose name was cians are used to such spaces, as
Some people have defined a tenseg- proposed by one of our undergraduate Pythagoras's formula for distance and
rity in such a way that no two struts students, Alex Tsow. We can call two Descartes's idea of coordinates make
share an end vertex, and each vertex is configurations "comparaple" if they them as easy to work with as 2- and 3-
at the end of a strut. Again, for reasons have the same number of vertices, con- dimensional space (see Figure 3).
of generality we do not adopt these nected by cables and struts in the same
conventions, but for many of the ex- way. Tsow called a given tensegrity su- Spider Webs and Stability
amples that are mentioned later, these per stable if any comparable configura- To prove that a tensegrity is stable in
properties happen to hold. tion of vertices either violates one of such a strong sense, we often invoke a
the distance constraints-one of the concept borrowed from physics-the
What is Stability? struts is too short, or one of the cables idea of potential energy. When a struc-
As in the definition of a tensegrity it- too long-or else is an identical copy ture is deformed, physically it adsorbs
self, there are several different plausible of (in geometrical terms, congruent to) or gives up energy. However, mathe-
notions of stability,each appropriate for the original. maticians need not be constrained to
certain circumstances: infinitesimal For example, Snelson's X tensegrity physically realistic energy functions,
rigidity,static rigidity, fiBt- and second- in Figure 2 is super stable. One elemen- but may invent convenient fictional en~
order rigidity, prestress stability and tary tensegrity that is not super stable is ergy functions to facilitate the verifica-
others. (See Connelly and Whiteley a hinge (two struts sharing one vertex): tion of super stability.
1996 for a definition of these terms.) By opening or closing the hinge a little A good starting point for under-
standing these functions is the tenseg-
rity that was constructed long before
Kenneth Snelson-the spider web. A
spider web diffeB from the tensegrities
discussed so far in two respects_First, iI
has some "pinned" vertices, fixed in
space or in the plane; any comparable
v"'·~~:1.:~:~
" '2"";;" 2'····':·2;':-:·:"···Y·,,,·.
2};':" ,~,',(~:.t;~:'82t
""'< :.j!: ....., ~.... .....
,·,:f.Jy':;1;7.Y"i!) ~:" ;"Y:.(X;:{7;·r.ij)., :*'·(Y,1' 7Y.2)/~·(Z;f'~·Z2) .
configuration must have vertices in ex·
actly the same positions. Second, a spi·
:.;~";\,~'~~~;,~,;,': ..'.\ <\" .:~ ~~::.'.',' ~!,~
\' ~"~f.:: ~~>~~;_'
...':':'.:~:t,:,~< <'<','" :';:';2';':~:,~"\.:_<:<......}~ ..>.:'~~:
",.";';,,',~. ;:~.<
..'~,~> '~',,' ,':'; \ .:\~,~~'~:.~~.;,

.•.~'.:' .' (see Figure 4).'<:'


,.t , ';.' ":.....: ,~.,'. " . ,",
der web has only cables and no struts
J:;:;:,::·;i:~~;~:.·):,::+:;;:f~~~H~~·:·~~;t!~f.:,~::;',;,~,~,,::;}~;~;~~,j::~§;~iiI.g~k%~~~}lf8~~~{M:,.·::::;';'
The energy functions considered fOJ
spider webs are motivated by, but not
identical to, the physical potential en·
ergy for an ideal spring. The English

;'i .!I\,i;~;;;:•·•
physicist Robert Hooke (1635-1703)
.D~¥~:~>Fi''''.'·
'.i .. ' f.".'~;";" .....5;...•
,<..;,'., " .J:,!:.•.;,.,,~V,:(X,'k,.X2}" ~ (y '1· ··.,y,2}..+ ;~~~.:.«w ,(z.l·· . l: W. 2) '.'
found that the force needed to displaCE
a spring was proportional to the dis-
..~--:.-.
:.,~..~'.'\:~::~.'~ <~./..":.-:> .'t,"""',~:
:.:~.':'>:~'.,~~ '."':..',.' :-..,~,; >:',: ,:,,:.~~.;~ '~~~.~,~~.~.~,•.~;.~::. :~'>
> ~-,',:~.::,.
...; :~,:;' :::;t:
I',· • ,'. -,' . '-.
placement from its rest position. (HE
wrote this empirical observation, late!
Figure 3. Points in n-dimensional Euclidean space can be identified with their coordinates in
known as Hooke's law, as an anagram
a Cartesian coordinate system. The number of coordinates is the dimension. Distance in n-
dimensional space is calculated by analogy with the Pythagorean fOIDlula from plane geom-
"ceiinosssttuu." The unscrambled ana-
etry. A tensegrity can be defined in any dimension because its points and the distance con- gram-"Ut tensio, sic vis"-translat~
straints governing the struts and cables can aU be stated in tenns of coordinates. Here exam- from Latin as, "As the extension, so i!
ples are shown for 1- through 4-dimensional space. the force.") Although Hooke did nol

144 American Scientist, Volume 86


'hrase the law in terms of energy, it For tensegrities in general, equilibri-
mplies that the energy in a spring is um of the stresses is not enough to guar-
'roportional to the square of the dis-
mce it is stretched or compressed.
antee that the configuration has the min-
. imum energy. However, for the special
V
In a spider-web tensegrity, the energy case of a spider web with no unstressed
unction for each cable is simply pro- cables, it is enough. The reason is that I~
I •

I()rtional to the total length squared-as the energy function, composed as it is of i \


: the cable were a spring with a resting quadratic polynomials with positive cer 6·····~
,/ \
mgth of zero. It remains to determine e£ficients, has a property called convexity. .' (1i!
I"hatthe constants of proportionality for No matter how you move the (un- ../~. i ',.
am cable should be or (if we think of pinned) vertices around, starting from a ."" ~ ® "@
:te cables as springs) how "strong" the
prings are. For a given configuration,
he goal is to choose these fictional
critical eqUilibrium configuration, the
energy function will increase. A convex
function, like a parabola, can only have
~..
' 0:......
·····
"l
.....

trengths in such a way that the config- one minimum point. If a spider web sat-
:ration represents a unique minimum isfies the equilibrium condition, it has to Figure 4. Mathematical spider web consists
)r the corresponding energy function, be the one. Thus the principle of least only of cables, with no struts. Thn!e vertices
:te sum of the energy functions of all are pinned (slladed rectangles) and cannot
work applies to show that the spider
move relative to the background. In order for
:te cables. Then any comparable spider web is super stable.
the web to be super stable, the three cables
,reb that does not increase any cable Note that this method does not just coming from the pinned vertices must deter-
?ngth must have the same energy or provide a ''local'' result only valid for mine lines that go through a single point.
maller, because each cable contributes small (or even bounded) perturbations.
:te swme, or less, to the total. But since
:te given configuration is supposed to
epresent a unique minimum energy,
:te two configurations must be identi-
al. Consequently, such a spider web y y
)ne that minimizes some energy func-
.on) is super stable. This is called the
rinciple of lenst work, in honor of the sim-
ar principle that is used in structural
x x
ngineering.
How does one recognize when a spi- a
.er web has an energy function that is
lrecisely minimized by the given con-
.guration? One answer is the equilibri-
m of stresses-another concept bor-
)wed from engineering. Again, it helps
) imagine the cables that meet at any
iven vertex as springs, each one tug-
ing in a different direction. Remember
:tat this force can be made "stronger"
r "weaker" by a proportionality con-
tant, which we will call the stress in the
able; thus the strength of each cable's
19 is equal to its length times its stress.
b
:the stresses are picked in just the right
lay, so that the tug-of-war wmong all
:te cables leading to a given vertex is a
raw, then the stresses at that vertex are
1 equilibrium. If that happens at every
npinned vertex, then the whole spider y
leb is said to be in equilibrium. y
These stresses are simply numbers
:tat are assigned to cables; they need
.ot have anything to do with the size of
~e cable or even its physical or me- x
hanical characteristics. However, it is
nportant that all the stresses are posi- c
ive: If some are zero, then the given Figure S. Affine transformations include stretches (a), flips (b) and projections (c'. Note that a
onfiguration may not be a unique min- projection may cause many struts and cables to overlap. AU of these transformations have
num of the energy function, and the the property that an eqUilibrium stress for the original tensegrity also serves as an equilibri-
.rinciple of least work will not apply. um stress for the transformed tensegrity.

1998 March-April 145


1
It works for any other configuration 1.
one can conceive in any higher-dimen_
sional Euclidean space. Spiders cannot
have their webs ruined even by flies in 1
higher dimensions. '

Stability of 2-Dimensional Tensegrities


The quadratic functions that were con.
sidered for the spider web tensegrities
work very nicely, but if there are struts
as well as cables, the situation gets
more complicated. Because a strut is, in
a certain sense, the opposite of a cable,
it is mathematically natural-although
it does not model a physical potential
energy function directly-to define its
••••••••••••••••• -@.
....i" energy function similarly but with a
. ".
..
..'.
' ' negative proportionality constant. This
'
' "
" . is as if the rest position is when the strut

··· l' has infinite length! The total energy is,


as before, the sum of the energies in

-..
··· i
!
each of the cables and struts.
Incidentally, although the energy func-
.................. .......
........
.' ...
~ tion just described is not physically real·
.'.'
istic, it is not completely divorced from
..........
.... .....~ -(
... engineering reality. If one analyzes the
local static properties of a structure, the
quadratic energy described here is one
Figure 6. Super stable planar tensegrities can be generated by a 1980 Iheorem of Connelly. If of two terms that enter into a descriptiot:\
the cables form a strictly convex polygon, If the struts are inlemal diagonals, and If Ihere Is a of the structure under sufficiently sman
positive stress for each cable, a negative stress for each sinal and eqUilibrium al each vertex, perturbations. When the stability can be
then the lensegrlty Is super slable. The stabUlty Is not always intuitively obvious. A configu· detected by such a quadratic approxima-
ration inspired by a rigidity theorem proved by French mathematician Augustin Louis tion, the structure is called prestress stable
Cauchy in 1813 is shown at top left. An example of a dass suggested by the Branko in the engineering literature.
GrIlnbaum of the University of Washington is shown at top right. A configuration that is If we consider only small perturba-'
super stable only If the vertices lie on an ellipse appears at boHom left. lions of the physical energy of a pre-
stress stable structure, the second term
(which we have not described) only
adds to the stability of the structure. In·
deed, for a super stable tensegrity, as
long as there is no catastrophic buckling
of the struts or breaking of the cables, in·
creasing the stress tends to stabilize the
tensegrity. This is not necessarily the
case for a tensegrity that is only pre-
stress stable.
Figure 7. Super stable three·dimensional
tensegrlties can be generated from the action
of a symmetry group on one strut and two
cables. In Ihis example, which has the sym·
metry group of half the symmetries of a
cube, each strut (green) can be superimposed
on each other one by a rotation or a reflec-
tion. Similarly, each red cable can be super-
imposed on each other red cable, and each
blue cable on each other blue cable. The
whole tensegrity can be seen as being made
up of six Identical "stretchers" joined
together at their ends with the red cables. If
the predetermined ratio of the stress in the
blue cables to the stress in the red cables is
increased, the blue cables shorten, and the
configuration approaches that of the baby'
toy tensegrlty.

146 American Scientist, Volume 86


A second problem when we move
)m spider webs to tensegrities is the
:k of pinned vertices, which technically
les out the whole idea of a "unique"
lergy minimum. Since nothing is
nned, the whole configuration can be
~idly moved about, and the energy
ill remain the same. Not only that,
1t there also can be massive distor-
:ms to the configuration-certain
nds of rescaling transformations as
ell as projections of a tensegrity
)wn to its "shadow" in a lower num-
!r of dimensions-that do not alter
e energy. The equilibrium condition
preserved by such maps, which are
Illed affine linear trans/ontlations (see
gllre 5).
As before, call the coefficient of the
\ergy function for each cable or strut
Ie stress. As with the spider web
nsegrities, the tensegrity is said to be
equilibrium with that collection of
resses if the stresses balance at each
:!rtex. For example, Snelson's X
nsegrity is in equilibrium when all
lur cables have stress 1, and the two
ruts have stress -1.
As in the case of spider webs, if a
:nsegrity has an energy function that
minimized for a certain configura-
on, then the configuration is in equi-
brium. But the converse is no longer Figure 8. Croup of permutations of four letters acts on a cube and a tetrahedron in two dif-
ue: Even when the configuration is at ferent ways. On the cube (top), the permutation that switches vertices labeled (a) with those
luilibrium for a given set of stresses, labeled (b) while leaving (c) and (d) alone represents a rotation. On the tetrahedron (bottom),
\e energy may not be at a minimum. the same permutation represents a reflection. Thus the group of permutations of four letters
Dr exwmple, simply reverse the roles (called S.) is seen to have two distinct 3-dimensional representations.
f cables and struts for Snelson's X
!nsegrity, and reverse the signs of the This approach has made it possible tices of a 3-dimensional polytope
:resses as well. The new tensegrity to identify a large number of super sta- (polyhedron), and perhaps the edges
rill still be in equilibrium, but the en- ble tensegriti.es. For example, take any of the polytope should provide the ca-
rgy will be at a maximum instead of a convex polygon in the plane, where the bles of the tensegrity. But it is not clear
linimum, and the tensegrity will not edges are cables and some collection of just how to identify precisely a satisfy-
e super stable. the internal diagonals are struts. (Here ingly general class of super stable
Thus, to prove that a given tensegri- the word "convex" is applied in a dif- tensegrities. One idea is to specialize
I is super stable, there are three tasks ferent context from before. A polygon somewhat and look at tensegrities that
Ie must complete. First, we must is convex if the line segment connecting have a great deal of symmetry. This
how that the energy function is at a any two of its vertices is contained en- can be used to short-circuit the un-
'linimum-not just at an equilibrium. tirely in the interior.) One of us (Con- pleasant parts of the calculations.
econd, we must show that the only nelly) proved in 1980 that, if an equi-
ffine transformations that do not vio- librium collection of stresses can be Symmetric Tensegrities
lte any cable and strut constraints are found, positive on the external edge ca- Some of the most appealing tensegrities
ctually congruences (that is, no bles and negative on the internal diag- made by Snelson and later by others are
tretching or shrinking is allowed). Fi- onal struts, then each of the three con- highly symmetric, exhibiting a sub-
lally, we must show that the given ditions holds; thus, any such tensegrity group of the symmetries of the cube or
ensegrity cannot be the "shadow" of is super stable. Therefore, for this class the regular dodecahedron. To be effi-
ny higher-<iimensional tensegrity that of convex planar tensegrities as well as cient about the analysis, and-even
;;also in equilibrium. (Maria Terrell of for spider webs, equilibrium implies more important-to provide a frame-
:ornell University has called the latter stability (see Figure 6). work for the classification of such struc-
~roperty the universality of the tenseg- The question remains as to what the tures, it is convenient to use the theory of
~ty.)Under these conditions, the prin- proper generalization is for 3-dimen- representations of finite groups.
lple of least work implies that the giv- sional space. A natural choice for a The theory of representiltions of finite
~ntensegrity is super stable. configuration is the collection of ver- groups, developed at the turn of the past

1998 March-April 147


Figure 9. Super stable tensegrities Ilke these are generated by the dihedral groups, in joint work of Connelly and Maria Terrell of Cornell
University. This class includes Snelson's "octet truss," one of his earliest designs (right).

century by F. Georg Frobenius and Isai in the same orbit if at least one symme- congruences is defined by first perfonn-
Shur, was originally motivated by a prob- try of the tensegrity superimposes one ing one motion and then the other. i
lem in algebra, but soon found a wide va- of the pair onto the other. In Figure 7, Group theory is something like the
riety of applications, especially to the each cable or strut in a given orbit has ancient Oriental game of go. There are
physics of the then new theory of the the same color. The grouP. of symme- only a few simple rules, and they are
atom. A typical success story begins with tries of these tensegrities is transitive easy to learn. But their consequences
a fairly complicated mathematical model on the struts (because there is only one can take many yeaB of intense study to
of a structure with some form of (ge0- orbit, colored green) but not quite tran- master. Like certain move sequences (or I
metric) symmetry. Representation theory sitive on the cables (because there are "joseki") in go, certain groups occur of-.
allows one to break down the complicat- two orbits, colored red and blue). ten enough to have their own names.:
ed model into a predetermined, small With this in mind, it is especially easy The simplest, and perhaps most ubiq-
number of much more tractable models, to check whether there is an equilibrium uitous, is a group with two elements i
each of which can be treated more or less stress for the cables and struts. If there is called ~. Its elements can be thought of:
independently. Fan Chung and Shlomo any energy function at all that is mini- as the numbeB +1 and -1, with the op-'
Sternberg (1993) gave a very nice exam- mized by the given configuration, then eration of multiplication. (Note that ai
ple of such an application: the analysis of there is one that has the swme symmeby product of either +1 or-1 with either +11
the infrared spectra of the buckyball, a as the tensegrity itself. Thus the same or -1 again gives +1 or -1.) Or they can·;
molecule with 60 carbon atoms that has stress can be assigned to each cable or be thought of as the words "even" and i
the symmetry of a regular dodecahedron. strut in any given orbit. Similarly, the bal- "odd," with the operation of addition. I
In our situation, the representation theory ance of stresses only needs to be checked Or they can be thought of as the identity i
is called on in almost the swme way, ex- at one vertex, because all vertices are motion and reflection in a mirror.
cept that the underlying mathematical alike under the group of symmetries. For Of the many guises an abstract group!
objects are different. almost all the exwmples considered here, can assume, among the most conve-!
Suppose that a tensegrity can be r0- it turns out to be easy to check that the nient ones are sets of linear functions.]
tated about some line in such a way that only affine motions that preserve the ca- Rotations and reflections are examples:
the rotated tensegrity is indistinguish- ble and strut constraints are congruences. of linear functions. H the elements of thej
able from the original: each vertex su- Hence only one difficulty remains before abstract group are thought of as actors
perimposed on a vertex, each cable su- we can apply the least work principle: and the linear functions as roles, then·
perimposed on a cable and each strut We have to make sure that the energy is the playbill, which assigns certain actors
superimposed on a strut. All the mo- a minimum. That is where group repre- to certain roles, is called a representation:
tions, or congruences, that superimpose sentations enter the picture. of the group. The abstract group itself
the tensegrity on itself in this fashion can be used to do group calculations
form a mathematical structure called Group Representations and effectively provide a common point'
the group of symmetries of the tensegrity. So far, groups have appeared in only one of reference. A representation, on the
(It may include some reflections and guise: the group of symmetries of a other hand, may have more structure,'
other congruences, and always includes tensegrity. But groups can also be de- and may give deep and subtle infonna-,
the "identity," a Zen-like motion that fined in the abstract, without reference tion about the abstract group. 11

simply leaves everything untouched.) to any particular physical object. From An essential concept in dealing with
If a tensegrity has enough symme- this point of view, a group is simply a set representations is that of eqllivalpHce•1
tries that any vertex can be superim- whose elements can be "multiplied" and Consider, Corexwmple, the group of
posed onto any other by a congruence, that obeys certain rules, such as the exis- metries of the word MOM. There are
then the group of symmetries is said to tence of an identity element. In the case ways to superimpose this word on
be transitive on the vertices. Similarly, just presented, the elements of the group Either leave it alone (the identity motioNI
any pair of vertices (or any pair of ca- were motions that superimpose a tenseg- or reflect it about a vertical line
bles or any pair of struts) is said to be rity on itself, and "multiplication" of two the center of the O. This

148 American Scientist, Volume 86


;roup, therefore, is a representation of sentations of the group 54' Although a each coordinate axis labeled by one ele-
he abstract group 22, Likewise, if we line or plane may be superimposed on it- ment of the group. Each element of 54
umed the word MOM on its side, its self by an individual rotation, there is no corresponds to a permutation of the axes,
ymmetry group would still be a repre- line or plane that is superimposed on it- and each one of these extends in a natur-
entation of 22, Although the actual re- self by all the symmetries of the cube or al way to a congruence of the 24-dimen-
lection involved is different-it is now a the tetrahedron. Thus these representa- sional Euclidean space. These congru-
eflection through a horizontalline--the tions are called irreducible. ences form the wgular representatioll of 54'
ssential symmetry of the word has not One of the major insights of Frobenius Frobenius proved that the regular rep-
teen changed by turning it on its side. A and Shur was that any representation resentation of any group "contains" all of
nathematician would say that these two can be decomposed in an essentially the irreducible ones, each repeated a
epresentations of ~ are equivalent. unique way into irreducible ones. Hence number of times equal to its dimension.
Compare this with the group of sym- the irreducible representations are the For example, for S4 the irreducible repre-
netries of the word MOW. Again, there building blocks of the theory, much like sentations are the two 3-dimensional
re two ways to superimpose the word prime numbers in number theory. ones illustratl.'Ciabove, as well as a 2-di-
·n itself: the identity and a l8O-degree Now we can define a representation mensiona! one, a nontriviall-dimension-
otation about the center of the O. This that is very closely related to the energy al representation, and the biviall-dimen-
ymmetry group is also a representa- function for tensegrities. Any group, siona! representation (where all elements
ion of 22, but somehow it feels differ- such as the group 5", has a representa- of the group are represented as the iden-
nt. The difference is not in the group tion as a permutation of its own ele- tity). So in the regular representation, the
:self, but in the geometry-the linear ments. af we return to the actor-and-role two 3-dimensional representations are re-
iIDction involved is a rotation, not a re- metaphor, this is like every actor playing peated three times, accounting for nine
tection. Thus a mathematician would himself.) Since 54 has 24 elements, imag- dimensions each; the 2-dimensional rep-
ay that this representation of ~ is not ine a space with 24 coordinates, with resentation is repeated twice, accounting
qui valent to the previous one.
The symmetries of 3-dimensional
.gures involve representations of some
:lore interesting groups than ~. The
roup of rotations of the cube and the
roup of all symmetries of the regular
~trahedron are both representations of
~ 0
~
:\e group of pennutations of four let-
~rs (denoted 54)' These two represen-
lions of 54 tum out to be inequivalent,
s can be seen in Figure 8.
The representations of a group can
e combined in a Simple but important
lay. For example, think of two repre-
entations of a group, one as motions
f 3-space and the other as motions of
-space. Now think of a 5-dimensional
pace, where the fiBt three coordinates
:>rrespond to the 3-space, and the next
NO coordinates correspond to the 2-
pace. Create a new representation of
le group by letting the first represen-
ltion act on the first three coordinates
nd the second representation act on
le next two coordinates. Then the new
?presentation is called the sum of the
""0 representations.
The process sometimes works in fe-
erse, too: Given a representation, it may
e possible to split it up as a sum of
naller-dimensiona! representations. For
"ample, each of the two elements in the Figure 10.. How to build your own tensegrity: Start with a cardboard model of the corre-
munetry group of the word MOM su- sponding regular polyhedron (a). Cut out the sides and use a paper punch to place holes at
erimposes a horizontal line through the the proper points In each side (b). It works best if the size of the holes just lets the sticks pass
through. Here, however. the holes are shown larger for better viewing. Locations need not be
~ter of the 0 onto itself. Likewise, each
precisely correct. Tape the edges back together again and pierce the polytope with the dow-
ne superimposes a vertical line onto it-
els according to the way they look in the final tensegrity (c). (Compare Figure 1.) Insert rub-
ill. This representation, therefore, is re- ber bands in the appropriate pattern through the notches in the ends of the dowel struts (d).
ucible to the sum of two l-dimensional The figure shows pins at the ends of the dowel struts, which also works. Cut away the card-
!presentations. But the situation is dif- board and let the whole structure come to equilibrium. Replace the rubber bands with string
!reJlt for the two 3-dimensional repre- or cord. (The rubber bands may deteriorate within a few weeks.)

1998 March-April 149


Figure 11. The autholS' catalogue of super stable symmetric tensegrities includes dozens to hundreds of examples with the symmetry of each
regular polyhedron. Here, one tensegrity representing each type of symmetry is portrayed. Tensegrities in the right hand column, from the ..
top down, come &om representations of the group of even permuations on four letters, the group of even permutations on five letters, and
the group of all permutations of four letters. These representations tum out to be the rotations of the regular tetrahedron, the regular dodeca-
hedron, and the cube respectively. The tensegrities in the left hand column come from the direct sum of the group with two elements and the i
group generating the right hand column.

for four dimensions; and the nontrivi,ll Suppose that we have a tensegrity tion), corresponds to the regular
and trivial1-dimensional representations whose group of symmetries acts transi- sentation of the symmetry group.
account for one more dimension each. In tively on the vertices. Its energy function, was not at all obvious to us at first:
total, we get 9 + 9 + 4 + 1 + 1 = 24 dimen- which was defined using the stresses after doing several special cases did
sions accounted for. (motivated from the equilibrium condi- discover that Frobenius's theorem

150 American Scientist, Volume 86


nade to order for our problem. Using space. They include two infinite fami- membeB will change accordingly. Mak-
hat theorem, the energy function can be lies: the cyclic groups on n elements ing the tensegrity initially with rubber
rotten as a sum of energy functions that (which can be identified with the rota- bands helps the tensegrity "find" a su-
orrespond to each of the irreducible rep- tions of a regular n-sided polygon) and per stable configuration, and the design
esentations. So the calculations can be the dihedral group with 2n elements can then be made permanent by replac-
lone for the much smaller-dimensional (the group of all symmetries, including ing the rubber bands with string.
Teducible configurations. For exwmple, reflections, of a regular n-sided poly- For readeB who would like to build
alculating a minimum energy configu- gon). There are six other possibilities: virtual tensegrities, we recommend a
ation for the group S.., without the de- S.a: the "alternating groups" At and As program called SI'RUCK, by Gerald de
omposition coming from representation with 12 and 60 elements respectively; Jong and Karl Erickson. This program
:leory, would involve solving equations and the "direct sum" of each of these can be accessed on the World Wide Web
1at least 24 variables. But by using the with the group Z2t which doubles the at http://wolfenet.com/-setebos/
TeduClble representations, it takes only number of elements. Each of these six springspace.hbnl.
wo calculations with three variables, can be represented as a group or sub-
ne calculation involving two variables group of symmetries of a regular poly- Acknowledgment
nd one with one variable. . hedron: For example, the group of rcr The authors thank Dana Mackenzie for his
Now consider the problem a bit differ- tations of a regular dodecahedron is a excellent editing in the preparation of this
ntly. Start with the stresses, and then ask representation of As. article. CO/melly also thanks the Alexan-
:one of the representations has an equi- For any given finite group, our der von Humboldt Foundation for their
brium configuration for that collection method allows us to compile efficiently a generous support in the academic year
f stresses. This is like looking for the complete catalogue of the symmetric 1991-92, where many of the ideas of this
mile of the Cheshire cat (the stress) be- tensegrities with two orbits of cables, one article were developed.
)re we find the cat itself (the tensegrlty). orbit of struts and one orbit of vertices.
: all the stresses are positive, then it is The most intriguing-and most recently References
lear that all the terms inthe definition of discovered--ones correspond to the six Otung. F., and S. Stemberg.1993. Mathematics
le energy function are positive or zero. If groups mentioned in the last paragraph. and the buckybalL Ameriam Sdmtist 81:56-71.
le cable graph is connected, this means Because the struts can be connected to Connelly, R. 1980. Rigidity and energy.
lat the only representation that gives an the cables in hundreds of different ways, Invenliones MathemDticae 66:11-33.
quilibrium configwation will be the triv- maintaining the symmetry, the complete Connelly, R., and M. Terrell. 1995. Globally
u one-in which all the vertices are on catalogue has well over a hundred dif- rigid symmetric tensegrities. Structural
Topology 21:59-78.
JP of each other. Next, choose one of the ferent tensegrities. For Figure 11 we
Connelly, R., and W. Whiteley. 1996. Second-
rbits that you eventually want to be a have chosen one representative to il- order rigidity and prestress stability for
trut. Decrease the stress coefficient for lustrate each of the six possible types of tensegrity frameworks. SIAM Tournai of
lat strut, even allowing it to be negative. symmetry. The complete catalogue can Discrete Mathematics (9)3:453-491.
:eep decreasing that coefficient until the be viewed on our World Wide Web Hartog, J. P. 1949. Strength of Materials. New
)tal energy function itself just starts to page at http://mathlab.cit.comell.edu/ York: Dover, pp. 3-4.
ave values on the borderline of being visualization/tenseg/tenseg.html. Lyustemik, L. A. 1956. Convex Figures and
egative (that is, zero). Then at least one In Figure 10 we show you how to de- Polyhedra. New York:Dover.
f the nontrivial irreducible representa- sign your own tensegrities. Although the New York Academy of Sciences. 1989. Kenndh
Snelson: The Nature of Structure. New York:
ons has a configuration that is in equi- number of configuration types is finite, New York Academy of Sciences.
brium with respect to that stress. Call there is still plenty of room for artistic ex- Pugh, A. 1976. An Introduction to Tensegrity.
lese equilibrium configurations, result- perimentation: The lengths of the struts Berkeley and Los Angeles, Calif.: University
19 from irreducible representations, crit- can be chosen more or less at will (prcr of California Press .
=alconfigurations. Usually, but not al- vided they are all the swme length), and Snelson, Kenneth. Kenneth Snelson. <http://
lays, it turns out that there is only one the locations and lengths of the other www.teleportcom/-pdx4d/sneison.html>.
~resentation that has a critical configu-
:ltion. If so, this is the desired configura-
on and the corresponding tensegrity.
One unsettling feature of this process
; that there do not seem to be any assur-
nces beforehand as to which represen-
ltion will be the one that provides the
rudal stress. If one of the "winneB"
appens to be a 3-dimensional represen-
ltion (as it has been in many of the cases
Ie have tried), then we get a super sta-
le tensegrity that we can see, rather than
lStinferring its existence in some higher
.intension. But we do not know of any
;eneral theory that would predict the
utcome without doing the calculation.
Not many abstract groups can occur
s finite groups of symmetries in 3-

1998 March-April 151

También podría gustarte