You are on page 1of 9

Die Grundstruktur der klassischen Partikelmechanik

(-: und ihre SpeziaIisierungen


--'j
. . -..~.- W. Balzer *
Seminar fUr Philosophie, Logik und Wissenschaftstheorie, Universitii.t Miinchen

-~I-
. :
;

:,

;
und C. U. Moulines
Instituto de Investigaciones FiIos6ficas, Universidad Nacional Aut6noma de Mexico

z. Naturforsch. 36a, 600-608 (1981); eingegangen am 1. April 1981

The BasiG Structure of Classical Particle MechaniaJ and it's Specializations


Classical particle mechanics is given an axiomatic form which - we think - constitutes an
essential progress with respect to extisting axiomatizations. We clarify the status of it's basic
concepts (first of all of the concept of force), we reconstruct the factual (implicit) form of it's basic
law, and we exemplify the general method of obtaining more special mechanical laws from this
basic law by means of concrete examples. By this the "overaIl"Btructure of classical particle
mechanics as that of an "open" theory can be clearly recognized. The result is of methodological,
philosophical and didactical relevance.

Seit Entstehung der klassischen Partikelme- tischen Begriffen halten. Hierzu gehoren etwa die
chanik (KPM) wurde immer wieder versucht, diese Arbeiten yon Hermes [2] und Simon [3]. In diesen
Theorie als paradigmatisches Beispiel einer erfolg- Versuchen wird der Begriff der Kraft als definierter
reichen physikalischen Theorie zu axiomatisieren Begriff (im streng logischen Sinn von "definiert")
und dadurch ihre Grundlagen klar und explizit eingefiihrt, d.h. der Begriff der Kraft ist in der
herauszuarbeiten. Schon Newton selbst wollte sei- Mechanik eliminierbar und nicht-kreativ, also -
ner Theorie eine axiomatisierte Form geben - logisch gesehen - iiberfl.iissig.
allerdings ist seine Darstellung weit hinter den An dieser Stelle scheint es angebracht, einige all
Standards yon Exaktheit und Vollstandigkeit zu- gemeine Bemerkungen iiber den Begriff der Defini-
riickgeblieben, die schon in der damaligen Ario- tion zu machen, da in den gelaufigen Diskussionen
matik (etwa in der euklidischen Geometrie) vor- der Grundlagen der Physik nicht immer Klarheit
handen waren. 1m 20. Jahrhundert hat es mehrere iiber ihn besteht. Nach der modernen Definitions-
Ariomatisierungen der KPM gegeben. Historisch theorie ist der Begriff innerhalb einer vorgegebenen
bedeutend ist die yon Hamel [1], die die spateren axiomatisierten Theorie gena1l dann (explizit)
Arbeiten in dieser Richtung anregte. Sie laBt aller- definierbar, werm der Term, der ihn ausdriickt,
dings in logisch-methodologischer Hinsicht viel zu eliminierbar und nicht-kreativ ist. Das bedeutet
wiinschen iibrig, weil weder die 'Natur der Grund- intuitiv erstens, daB zu jeder Aussage der Theorie,
begriffe noch die logische Gesamtstruktur der in der dieser Term vorkommt, eine andere logisch
Theorie klar ersichtlich wird. aquivalente Aussage der Theorie existiert, in der
Die weiteren Rekonstruktionen der KPM, welche der Term nicht vorkommt (Eliminierbarkeit) und
die formal-axiomatische Methode konsequent ver- zweitens, daB aus den Ariomen der Theorie zusam-
folgen, karm man in erster Naherung in zwei Grup- men mit der Definition des Terms keine weitere
pen einteilen. Die erste Gruppe besteht aus Ario- Aussage, in der der Term nicht vorkommt, ableit-
matisierungen, die sich bei der Auswahl der Grund- bar ist, die nicht schon ohne die Definition ableitbar
begriffe so nahe wie moglich an den rein kinema- ware. Wenn wir im Folgenden yon "Definition" und
"definierbar" reden, werden wir es genau in dem
* Die Arbeit dieses Autora erfolgte im Rahmen des DFG- eben prazisierten Sinn tun **. Um Millverstandnis-
Projekts BA 678/1. sen vorzubeugen, werden wir die Bedeutungen der
Reprint requests to Dr. W. Balzer, Institut fiir Statistik Ausdriicke ,,Definition" und "Bestimmung" einer
und Wissenschaftstheorie, Seminar fUr Philosophie, Logik
und Wissenschaftstheorie, LudwigstraBe 31, D-8000 Miin- ** FUr eine ausfiihrIiche und formale Darstellung der
chen. Definitionstheorie vergleiche etwa Hinst [4].
GroBe scharf trennen. Das, was in physikalischen mehr (das liiBt sich beweisen), sondern ein echtes,
Schriften oft als "Definition" bezeichnet wird, ist physikalisches Gesetz.
eigentlich nur ala "Bestimmung" eines Begriffs zu Unsere Arbeit schlieBt an die Arbeiten dieser
verstehen, d.h. ala Festlegung der Werte einer (oft zweiten Richtung an mit dem Ziel, den Kraftbe-
nicht definierten) GroBe durch andere (logisch unab- griff in inhaltlich befriedigender Weise zu behan-
hangige GroBen) mittela einer gesetzesartigen Aus- deln. Es wird immer wieder bemerkt, daB der Kraft-
sage, in der alle diese GroBen vorkolnmen. begriff von anderer Natur sei ala die iibrigen me-
In unserem konkreten Fall konnen wir genau chanischen GroBen und daB das zweite Newtonsche
sagen, was die Ansiitze zur Definition der dyna- Axiom mehr beinhalte ala nur, daB die Summe der
mischen durch die kinematischen GroBen im all- Kriifte gleich der Masse mal Beschleunigung ist.
gemeinen bedeuten. Zuerst wird versucht, Massen- Ala Beispiel fiir diese Unzufriedenheit diene hier die
verhiiltnisse durch Geschwindigkeitsverhiiltnisse negative Feststellung, die C. Truesdell zum Versuch
(Hermes [2]) oder durch Beschleunigungsverhiilt- von McKinsey-Sugar-Suppes gemacht hat: "The
nisse (Mach [5a, b], Simon [3]) zu definieren. Da- communicator is in complete disagreement with the
nach wird die Kraft einfach als "Abkiirzung" fiir view of classical mechanics expressed ill this ar-
den Ausdruck "Masse mal Beschleunigung" defi- ticle ... he does not believe the present work
niert. Dadurch wird das zweite Newtonsche Grund- achieves any progress whatever towards, the pre-
gesetz als bloB definitorische Tautologie gedeutet. cision ofthe concept of force, which always has been
Diese "kinematisierenden" Versuche, die Kraft and remains still the central conceptual problem,
(und sogar die Masse) formal wegzudefinieren, sind and indeed the only one not essentially trivial, in
inhaltlich sehr unbefriedigend. Sie fiihren zu einer the foundations of classical mechanics" (McKinsey
zu eingeschriinkten Fassung der Mechanik. Abge- et al. [6], a. a. 0., S.253). Hier kommtein Unbe-
sehen davon, daB die, Definition der Massenver- hagen zum Ausdruck, das vor allem die Festlegung
hiiltnisse durch Beschleunigungs- bzw. Geschwindig- des Kraftbegriffs, sowie die Rekonstruktion des
keitsverhiiltnisse nur in besonderen Anwendungs- zweiten Newtonschen Axioms und seines Verhiilt-
fiillen der Theorie funktioniert, beruht dies.e Defini- nisses zu anderen dynamischen Gesetzen betrifft.
tion der Kraft auf einer falschen Vorstellung der Wir wollen in'dieser Arbeit zeigen, was die im-
Rolle des Kraftbegriffs in der Theorie. Bei diesen plizite Natur des Kraftbegriffs ist, wie er zur Auf-
Ansiitzen kann man niimlich nicht mehr die Unter- stellung des Grundgesetzes der KPM verwandt
scheidung zwischen den einzelnen Kraftkomponen- wird und wie die Spezialgesetze der Theorie durch
ten, die in einem mechanischen System wirken und Spezialisierung aus dem Grundgesetz gewonnen
.der daraus resultierenden Gesamtkraft rechtfer- werden konnen. Wir werden ziemlich genau und
tigen. Diese Unterscheidung ist aber fiir viele An- ausfiihrlich die Form aller wichtigen dynamischen
wendungen der KPM wesentlich. Dariiber hinaus Spezialgesetze angeben, damit' die obigen Punkte
ist die Einfiihrung' von speziellen dynamischen Ge- und somit auch die Gesamtstruktur der KPM klar
setzen mit dem Begriff der Kraftkomponente we- hervortreten.
sentlich verbunden - wie wir unten zeigen werden. Obwohl unsere Darstellung in einem Standard-
Die zweite Richtung in den Axiomatisierungen ,System der axiomatischen Mengenlehre leicht zu
nimmt keinen AnstoB an der Einfiihrung von Masse formalisieren wiire, haben wir aus Griinden der bes-
und Kraft ala Grundbegriffen. Eine wichtige Arbeit seren Lesbarkeit davon abgesehen. Wir benutzen
in dieser Richtung stammt von McKinsey, Sugar einige Abkiirzungen und spezielle Symbole, an die
and Suppes [6]. Sie wurde von Sneed [7] weiterge- hier kurz erinnert seL Fiir eine Menge A bedeutet
fiihrt. Auch die von Ludwig [9] vorgeschlagene * In Ludwig [9] S. 124 und in Ludwig [8], S. 78 wird
Rekonstruktion der KPM ware wohl in dieser Rich- zwar gesagt, daB die Kraftvektoren durch "Masse mal
tung einzuordnen - trotz seiner etwas undeut- Beschleunigung" "definiert" werden. Aus dem Zusammen-
hang wird jedoch klar ersichtlich, daB Ludwig das zweite
lichen und schwankenden Deutung des Kraftbe- Newtonsche Grundgesetz als echtes Axiom und nicht etwa
griffs *. In McKinsey et al. [6] wird der Begriff einer als Tautologie betrachtet. AuBerdem ist ihm klar, daB das
Kraftkomponente, zusammen mit Masse, Ort, Zeit Wort "definieren" hier nicht ganz ernst gemeint werden
soil. (1m ersten genannten Werk schreibt es dieses Wort
und Partikeln, ala Grundbegriff eingefiihrt. Das sogar in Anfiihrungszeichen.) Unter "definieren" meint
zweite Newtonsche Axiom ist dann keine Definition Ludwig wohl nur, was wir mit "bestimmen" ausdriicken.
~All we Kardinalitat. n-Tupel schreiben ~ m~t Wir werden im folgenden die Ausdriicke auf der
eckigen Klammern (aI, ... , an). N und IR smd die rechten Seite yon 8) wie folgt abkiirzen:
Mengen der natiirlichen und reellen Zahlen, Nn die
F(i, p, t): = F(i, p, ({JI(p, t), ... , ({Jl;(p, t),
der natiirlichen Zahlen 1, ... , n. Ixl ist der iibJiche
Betrag fiir reelle Zahlen oder Vektoren. bezeich- "PI (p, t), ... , "Pm (p, t), t).
net das Vektorprodukt. "I ist ({Joe", heiBt, daB die
Funktion I in allen Argumenten, fiir die dies Sinn
Die Summe 2: F(i,
i:;;
p, t) heiBt die resultierende

macht, unendlich oft partiell differenzierbar ist. Kraft oder auch Gesamtkraft des Systems.
Erlauterungen zu D 1): In den intendierten An-
I. Das Grundgesetz der KPl\I wendungen der KPM werden die eigentlichen
Grundbegriffe der Theorie folgendermaBen gedeu-
Zur Axiomatisierung werden wir die auf Bourbaki tet. P stellt eine Menge yon Partikeln oder Massen-
zuriickgehende Methode der Einfiihrung eines punkten dar, (1ist die Ortsfunktion. Sie gibt zu jedem
mengentheoretischen Pradikats benutzen *. Massenpunkt und jedem Zeitpunkt den Ort im
Als Hilfsbegriffe benutzen wir die "Hilfsbasis- Raum in Form eines Vektors in S an (dabei wird
mengen" N, IR, S und T. S (bzw. T) ist ein drei- implizit ein Koordinatensystem, d.h. eine' Basis,
(bzw. ein-) dimensionaler euklidischer Vektorraum, fiir S vorausgesetzt). Fiir pEP liefert (1im zweiten
der dariiber hinaus ein Banachraum sein solI **. S Argument gerade die Bahn yon p. fl ist die Massen-
stellt den Raum dar, T die Zeit. In vielen Darstel- funktion; sie ist ein zeitunabhangiger, positiver
lungen der KPM wird S einfach mit 1R3 und T mit Skalar. ({Jl und "Pi werden "mechanische Parameter"
IR identifiziert. Dies ist inhaltlich unbefriedigend, genannt. Es sind dies die Parameter (= metrische
da S und T eine physikalische Interpretation (nam- Funktionen), die ein mechanisches Systemvoll-
lich als Raumgebiet und zeitliche Ordnung) haben, standig beschreiben. ({Jl sind die "raumartigen"
wahrend 1R3 und IR rein mathematische Interpreta- Parameter, d.h. diejenigen, dereu Werte ,Vektoren
tionen haben. in S sind - namlich Ort, Geschwindigkeit und
Wir definieren nun das Grundpradikat der KPM, Beschleuirigung. Fiir jedes mechanisches'System
in dem die grundlegenden Axiome zusammenge- gibt die Zahl, k an, wieviele raumartigeParameter
fasst sind. zu seiner Beschreibung gebraucht werden. '''Pi sind
. D 1. x ist ein klassisch-mechanisches System skalare Funktionen - etwa Masse oder elektrische
(KMS) genau dann wenn es P, (1, fl, k, m, n, Ladung. In "degenerierten" Fallen konnen die:V'i
({JI, ,({Jlc, "PI, , "Pm und F gibt, so daB auch sogenannte "Konstante" sein: entweder Para);
meter, die yon der Art des Materials oder des Me-
1). x = (S, T, N, IR; P, (1, fl, k, m, n, ({J1> , ({JJc,
diums abhangen, oder auch universelle Konstanten
"PI, , "Pm, F) ,
wie die Gravitationskonstante. Die Zahl m gibt die
2) P ist eine endliche, nicht.leere M~nge
Anzahl der benotigten skalaren Parameter" an.:b Jd
3) (1: P X T -+S ist ({J"'" F ist die allgemeine- Kraltfunktion.i Sie' ist eine
4) fl: P-+IR und lUr aile pEP gilt: fl(P0 vektorielle Funktion mit Werten in: S."Fiir jedes
5) k, m, n EN, n > 0 , fest vorgegebene i stellt F(, definiert durch F( (p; t):
6) a) fiir allei mit 1 ~i~k gilt: ({J(: P X T-+S = F (i, p, t), eine sogenannte Kraftlcomponente dar;
b) fiir aile i mit 1 ~i~m gilt: "Pi: P X T-+IR Die verschiedeneu Fi sind bei uns Grundbegriffe,
obwohl wir sie aus asthetischen Griinden zu einer
7) F: NnxpxSkxlRmXT-+S
Funktion F zusammengefaBt haben~ Die Bewegung
8) fiir alle PEP und aile t E, T gilt: des Systems ist durch die Zusammensetzung vorl.~
n
fl (p) ii(p, t) = 2: F (i, p,
i=1
({Jl (p, t), ... , ({Jlc(P,t),
.'
verschiedenen KraftkomponenteIi; bestimmt ..:Eel
vorgegebenem i hangt F( nicht nur yom jeweilige~
'.' "Pl (p, t), ... ; "Pm (p, t), t). Teilchen p, auf das F( "wirkt"und vom betr~ch.
, '* Eine leicht faBliche Darstellung findet man z;B. in
teten Zeitpunkt ab, sondern auch von raumartigen
Suppes [10]. Parametern ({Ji' und Sk8.1aren V'i, deren Zahl ..~ ~
** Die Banachraum-Struktur braucht man, um hc3here bzw. ::;;m sein soll. Selbstverstandlich werden bel
Ableitungen bilden zu kc3nnen. der Bestimmung der verschiedenen Fi nicht alle ({Jl
und "Pi eine Rolle spielen. Diejenigen, die nicht ge- meine Form der resultierenden Kraft am Summe
braucht werden, sind trotzdem formal am Argu- der Kraftkomponenten in D 1immer verlangt wird.
mente zugelassen. AlIe F, hangen dann formal yon Spezifizieren kann man aber noch die verschiedenen
den gleichen Parametern ab. Kraftkomponenten und zwar einmaI nach ihrer
Gleichung'D 1-8) ist dieeXplizite FormUlierung "arithmetischen" Form, z.B. F,= -kx, oder nach
des Grundgesetzes des TheOIie, des zweiten New- "analytischen" Eigenschaften, z.B. nach Differen-
tonschen Axioms. Der Form nach solite klar sein, zierbarkeit oder F,= - 'ilU. '
daB wir hier keine konkrete Aussage tiber die Wirk- Diese verschiedenen Spezialisierungsmoglichkei-
lichkeit haben, sondern vielmehr ein Rahmengesetz. ten konnen vollstandig oder nur partiell, sowie
Dies sieht man vor allem daran, daB die Anzahl einzeln oder zusammen durchgefiihrt werden. Ein
und die konkrete Natur der fPl und "Pi-Parameter, SpeziaIgesetz, bei dem alle vier Arten der Spezifi-
sowiedie konkrete Form des funktionellen Zusam- zierung vollstandig durchgefiihrt sind, nennen wir
mellhangs F, dersie mitem:a~der verbindet, nicht ein "t-erminales Gesetz" der KPM.-'
spezifiziert werden. U~ere Hauptthese '~t nun die
folgende: 'J]L" '"i ,j;'I'~ .. ;'."",~, ;i i',"

Die Gesamtstruktur det KPM ~d du'rch'Kon-


kretisierung des Rahmengesetzes' (D 1-8) ge Wir wollen nun allhand yon konkreten Beispielen
zeigen, wie der ProzeB der sukzessiven Spezialisie-
wonnen.
rung vor sich geht. Die erste Spezialisierung be-
Anders gesagt: Alie spezielleren Gesetze der KPM, trifft nur die Form yon F und zwar nicht voll-
die in verschiedenen Arten dynamischer Systeme standig, sondern nur in sehr allgemeiner Weise.
Anwendung finden, werden durch sukzessive Spezi- Dadurch erhalten wir das actio-reactio-Prinzip.
fizierung des Grundgesetzes gewonnen. Diese These
wollen wir konkret durch Aufstellung der wich- D 2. x ist ein teilweise cibgeschlossenes KMS genau
tigsten Spezialgesetze der KPM innerhalb des ge- dann, wenn D 1gilt und es p* ~ P gibt, so daB ffir
gebenen Rahmens nachweisen. alle i mit l;:'i2;i ;:'i2;m+k und alle p E p* und t E T
Es gibt mehrere Moglichkeiten zur Spezialisierung gilt: wenn F(i, p, t) +0, dann gibt es genau ein
des Rahmengesetzes; sie konnen bestehen in Spezi- p' E P*, so daB F(i, p, t) = -F(i, p', t) und
fizierungen (a(p, t) - a (p', t F (i, p, t)
a) der Zahl n der Kraftkomponenten, = - (a(p, t) - a (p', t F(i, p', t).
, b) der Zahl k + m der mechanischen Parameter, In einem teilweise abgeschlossenen System
c) der Natur der fPl- und 1f'rParameter, braucht nur eine Tellmenge, namlich P*, der Menge
d) der konkreten mathematischen Form, die jede der Massenpunkte des Systems abgeschlossen zu
Kraftkomponente F, annehmEm soll.. sein. Wenn p E p* einer nicht-verschwindenden
Kraftkomponente F (i, p, t) ausgesetzt ist, so wirkt
Unter c) wird z.B. gesagt, daB fPl der Ort, fP2die die gleiche Kraftkomponente auch auf ein anderes
Geschwindigkeit, "Pldie Zeit, "P2 eine "Materialkon- , Teilchen p' und zwar so, daB beide Krafte invers
stante" und 1f'3einReibungskoeffizient ist (etwa zur zueinander sind und entlang der Verbindungs-
Darstellung eines gedampften harmonischen Oszil- geraden beider Teilchen wirken. Die Vorstellung
laters in einer Fltissigkeit); oder daB fPl der Ort, fP2 dabei ist, daB F(i, p, t) yon p' und F(i, p', t) van p
die Geschwindigkeit, "Pl die Masse, "P2 die "Be- "verursacht" sind. Die Wirkung yon p' auf p
schleunigungskonstante" und "P3 der Luftwider- (F(i, p, t und die Gegenwirkung yon p auf p'
stand ist (etwa zur Darstellung des freien Falls eines
Korpers auf der Erdoberflache);oder daB fPl der
(F(i, p', t heben sich auf*.

Ort, fP2die GeschWindigkeit, P3 die Ableitung der * Unsere Behandlung ist hier weaentlich enger ala die
yon Sneed [7J, indem bei una die "aufhebende" Kraft atets
Beschleunigung, "Pl die Zeit, "P2 die Ladung, "P3 die yon gleicher Art sein muB (gleicher Index der Kraftkom-
Lichtkonstante ist (zur Beschreibung einer Ladung, ponenten). Wir kennen aber keine praktiach relevanten
die sich in einem Kraftfeld bewegt und ein elektro- Beispiele, in denen eine Kraftkomponente Fi nur yon an-
deren Komponenten Fi mit i =1= i aufgehoben wfude. In den
magnetisches Feld erieugt - vgl. etwa Mittel- relevanten Fallen ist Fi stets unter den Fj, so daB man die
staedt [11]. Zu d) ist zu bermerken, daB die allge- Fi mit i =1= i unterdriicken kann.
D3. x ist ein abgeschlossenes KMS genau dann, D 6. x ist ein KMS mit Reibung genau dann, wenn
wenn D2 gilt und p* = P. 1) x ist ein KMS,
Auf abgescWossene Systeme wirken keine auBeren
2) k~1,
Krarte, weil aIle Kriifte schon im System kompen-
siert werden. Genauer gilt: 3) fUr aIle pEP und t E T: fPl(p, t) = a(p, t),
4) es gibt i ~n, r ~ 1 und y E lR+,so daB fUr aIle p,
Tl. 1st x ein abgescWossenes KMS, so gilt fiir
lXl,.:., lX,l-,th, , 13m, t:
aIle t, t' E T:
a) 2: F(i,p,t)=O,
pEP.i~n
F(i, p, lXI,
131, ... , 13m, t)
, lX/i;,
=- Y lXlr.
b) 2: p.(p)iJ(p,t) = 2:p.(p) iJ(p, t')'
pEP pEP
iller ist die mathematische Form von Ft genau be-
c) 2: p.(p)(a(p,t) (8)iJ(p,t stimmt. Ft hangt nur vom Parameter fPl (der Ge-
schwindigkeit) ab und zwar in der Form - Y lXlr
pEP
= 2: p. (p) (a(p, t') a (p, t'.
pEP
(8) Um hervorzuheben, daB in 4) die mathematische
F~rm von Fi festgelegt wird, haben wir ~uch, eine
Das hei13t, es gilt Impuls- (T1-b) und Drehimpuls~: "abstrakte" Notation mit lXI, Pi als Variable~ ffu..'
erhaltung (T 1-c). 1m Beweis von a) benutzt man reeIle ZaWen gewaWt. Inhaltlich rouB :~ansich bier
die Forderung in D 2, daB es genau ein p' gibt. Man und im folgenden immer vorsteIlen," daB" lX: ,
zeigt, daB die hierdurch gegebene Abbildung injek- fPdp, t) und Pi = 1fli (p, t) ist, d. h. die lXi und' Pi
tiv ist. steIlen spezifische Werte der fPi- und 1fli-Parameter
D4. x ist ein ortsabhiingiges System genau: dann, dar. Kompliziertere Reibungsgesetze erhalt man
wenn als Varianten von D6-4.
1) x ist ein EMS, D 7. x ist ein zeitabhiingiges System genau daJ;lll,
2) k~1 *, wenn . ,
3) fiiraIle pEP und t E T :fPl (p, t) = a CP, t), 1) xisteip.KMS, ',;i ,~,-,,:,''''')':

4) es ~bt i ~n, t E T und PEP, so daB, 2)es ~bt i~n, pEP und t'E T, so daB; );;,i?;':'~
a ""'0' "" '",",,': ''''';.:i;'Hr,!\,}),:>}h
-,,-F(i,p,t) =1=0. "F(i,p,t) =1=0. "i,;:,r:W
UfPl ut '
. ". 'I
..
I ~... ,,'}
. /'"

\ n
Die i-te Kraftkomponente auf 'mindestens ein Die Zeit hat eine SondersteIlung und wird nicht wie
Teilchen p hangt zu' mindestens einer' Zeit t vom andere 'Parameter b~handelt. Sie ist vi~lID.elIT'von
Ort a(p, t) des Teilchens ab. "Ort" ist hier der Anfang an in F als letztes Argument vorgesehen}
einzige explizit festgelegte Parameter. ;'. -;, ,;.', .. ~. ,) .~'-tL !i-,
D8.'x ist ein lcdnservatives Sys~em .be~ilglica U
'"D 5. ',x' ist' ein ,geschwi;w,igkeitsabhiingiges "Syst~m genau dann~ wenD.
gen~~ii%a~,':v?~;~-',,; ,,', '..,,: ,,' :;:'I':'~::"\:' '{ ,', < '.' ! . J.'.'. ;J;j'(" (:.)': I~L'J

1) x isteinKMS, "", L'F ;!'J[ .;:,"1


it);';~~1~~Jf~f;,,>:
,';i":: ";c',' ij~:d,,;;"ci J,',,>h)
2):k~1;h'- '1" .' ," , '['I",ri, .'
2)k~1" ~, ""ll"; >";',,q n:'. r' \ L'Ih! ',jl:ii:t;;
3) fiir' alie ~'~i3~d t'~ :1:';
fP~(;, t) ~ :r(p, t), jrr-JI
3) 1UraIle' p E! E
und t T: fPl(p,'t) = a(p, t), :' -
4) U:'PXSJ:xlRm-+lRistfP " ':1, '"J;'I [" "L';\.!
co . .. . (

4) es gibti ::;i; tET und pEP, so daB. '" ,;


a ' 5) es gibti~n; so daB fiir aIle p;i'lXr;c.. ~;,lX,l-,)
-a-F(i,p,t) =1=0. 'Pl~ ~..,,-:pm) t: l" " .: ,A~'gt~! :.:';._l~';;~i.~
fPl ~ -. . - - '! ' r, ,r" 'Jr~' ' ;: . f; ~.~
',I F(i,p,Ct.l, '.. :, lXJ:,131>... ,pm,t),", ' ,
" .-' ".,.', _ ; ;"-,/1
Einziger explizit festgelegter Parameter ist hier die
Geschwindigkeit<& und die i-te Kraftkomp0R:e~t~,
; ~:, ':; VU (11,', ~l, .. ", lXJ:,;'pl,':/:;;:~;l"}' ~!:";'10
hiingt fiir ein Teilchen' p 'echt davon ab'. ""li',' F, ~t Gradient efu.es Potentials,' U~,;Dies ist; einli
, , 'IT
, Forderung, ,die die mathematische Form, betrifft:
* :I: hat nach 1) die in D1-1) festgelegte Form. Die bei U muB vom Ort (D 8-2,3), kann dariiber hinaus aber
den folgenden Bedingungen anftretenden Symbole be-
zeichnen, werm nichts gesagt wird, stets die entsprechenden auch von p, t und anderen Parametern abhangen:
Komponenten von :1:. Dies ist eine sehr allgemeine Fassung. Hangt z.B.
U nicht von p, t und th, ... pm ab undist le= 1, so D 11. 'x ist ein inverses Abstand.squadrat-System
wird 5) zu: F(i, p, t) _ - VU(o'(p, t)). d.h. "Ft= bezilglich 11, genau dann wenn
-VU(x)". '" .
. l '"
1) 'x ist ein konservatives Sys~in beziiglich' tJ, .,'
.' . J . , ~ . ,. '.; , r,..: i

'D9. X ist ein Systemtdes freien"FaIls im hOmo- 2~ ~le= ~PL


genim Feld genau dann,\ve~ . ,\ :," , ,j, 3)fiir alle PEP, t E T und i ~k: !pj(p, t) = d(pj, t),
1) xist ein konserv~~i~e~'Syst~~ b~ziigli~Ii:U, 4) ~s gibt i~n:sri daB flIT. alle ipi,rJ.I;':';.;ri.i:",
..PI,;'Pm't: . . '.. : ,j,,:.
2) le=l undm=2. "~. ":1' ;0:: ,":,,:,,
U(PjorJ.I,..,IXk,PI,,Pm.t) .... ',
3) fiir alle pEP und t, I' E T : "PI (p, t) = P (p) und
'ljJ2(P. t) = 'ljJ2(p, t') > 0, L 11, (Pj, Pl,
= l*j t) i' 1
IXj- rJ.l
I'
4)fiir alle P. IX,PI. P2. I: U (p, rJ.. PI, P2) . PI P21 IXI
Wir nehmen bier an. daB die Teilchen in P durch-
Hier isteine Kraftkomponente vorug 'ibestimmt
nUIl?-~ri~rtsind.-:P ,- {PI,'.: ., Pk} . Di~,~qua~toren
durch .Angabe der Parameter und der' ~athema- iiber p und i in Bedingung 3) laufen dann ~igentlich
tischen Form. Die Grundmenge ,f,der Tei!-chen ent- iiber die gleichen Entitaten und eille Quantifikation
halt nur frei fallende Teilchen und nicht die Korper, iiber p ist iiberfliissig. 'Da aber eine genauere For-
die die .Felder "erzeugen". Die sogenannten 'Be- mulierung . unnotige Umstandlichkeit erzwingt,
schleunigungskonstanten werden als Parameter "P2 haben wir es bei der etwasunge~auim Version be-
aufgefaBt, die zeitunabhangig und positiv sind lassen. Ff ist der mathematischen Form nach bis
(D9-3). Hat man ein System, in dem alle Teilchen auf 11, bestimmt. Parameter sind die Orte aller
auf den gleichen Zentralkorper fallen. ,so ist "P2 Teilchen. Durch Einsetzen erhalt man
dariiber hinaus auch von punabhangig. Durch Ein-
setzenerhaIt mandannF(i, P. I) = - VU(p, o'(p. t). '. F(i.Pi, O'(PI,I) ... O'(plc.I),
P (p,). g, t) = - V g p (p) o'(p. t) =-:-;'g p(p) O'(p,t) 'ljJi (p, t), ... , "Pm (P. I), I)
. 1 O'(p, t)i -1, d.h. "Ft~ - up". Schrankt ;man D9 , " O'(Pi, t) - O'(plot)
auf ein Teilchen ein, das sich auf einer Geraden =;f/(Pi.Pl,t) IO'(pjot)-O'(pl,t)13 ,.';
bewegt, so laBt sich das Fallgesetz von Gelilei
Xj - Xl "
"s= -gt2" ableiten. d.h. "Ff=Lh(pj,Pl,t)
1*1
IXi - Xl
13 .
D10. x ist ein Hooleesches System genau dann U und F hangen bier von den 'ljJinicht ab. Die 'ljJj
wenn werden aber in der folgenden Definition gebraucht~
1) x ist ein konservatives System beziiglich U,
D 12. X ist ein gravitierendes System genau dann
2) IIP~=l. wenn
3) le, 1und m = 1. 1) x ist ein inverses Abstandsquadrat-System be~
4) fiir alle pEP und t, t' E T: ~iiglich 11" ,. .

= 1jJ1 (p, t/) >' 0 ,


I - ~, .. ,

1pl (p, t) "; 2) le= ~P~,


5) fiirallep,IX,p.t: U(P,rJ..P,t)=PIIXI2. 3) m-le+1.

Ein Hookesches System beschreibt die Bewegung 4) Ilir alle PEP, t E T und j ;;;;le: (Pi (p, t) = 0' (Pj, t),
nur eines Teilchens gemaB dem Hookeschen Gesetz. 5) fiir alle pE'P, tET und i~m-l: 'ljJj(p,t)=
Nach D8 ist ein Parameter !pI der Ort. "PI ist die p (Pi) und fiir alle pi, t/: 'ljJm(p; t) = "Pm(pi, t') > 0,
Federkonstante lc/2.: die wir als "konstanten" 6) fiir alle p, pi E P und lET:"
Parameter behandeIn. Durch Einsetzen erhiilt man
k (p, p'. t) = "Pm(p, t) P (P) P (pi) .
F(i, p, O'(p. t), k/2, t)=-kO'(p, t), d.h. "Ft=
-lex". Kompliziertere' Gesetze fiir elastische Sy- Hier treten alle Orte und alle Massen als Parameter
steme kann man durch Verkomplizierung von D10 auf. Auch die Gravitationskonstante g='ljJm(P, t)
erhalten, indem man zusatzlich Geschwindigkeits- wird als konstanter Parameter behandelt. Die
und Zeitabhangigkeit fordert. mathematische Form von Fist durch D 8-4, D 11-4
und D 12-6 vollstandig bestimmt. Wir haben hier D 14. X ist ein Lorentz-System genau dann wenn
also ein Beispiel fiir ein Terminalgesetz der Theorie.
1) X ist ein geschwindigkeitsabhangiges System,
Das Potential U is explizit angegeben; es hangt von
2) k = 2 ~P ~ und m = k + 1,
den Teilchen ab. Bei fester Numerierung der Teil-
chen in der Reihenfolge PI, ... , Pic hangt U von Pi 3) fiir aile PEP, t E T und j;;;; k: Pj(p, t) = C1(Pj, t),
ab, indem Pi den Index liefert, der bei der Summa- fiir aile j mit k <j;;;; 2k: Pi (p, t) = & (Pi> t) und
tion ausgespart wird. Aquivalent zu 6) von D 12 fiir aile j ;;;;m, aile P' und t' :
hatten wir auch direkt in D 8 fiir alie Pi, ~l, , ~Ic, V'j(p, t) = V'j(p', t') > 0,
{Jr, ... , pm, t fordern konnen, daB 4) es gibt i;;;;n und E: S X T-+S, B: S X T-+S,
so daB fiir aile Pj, ~l, , ~k, PI, ... , pm, t und
U (Pi> ~1, , ~", fJr, ... , pm, t)
~l', ... , (1.k':
=_ 2:
l;;'lc.l*i
Pm Pi PI
I ~i - ~z1
F(i, Pi, (1.1, , (1.Te,
(1.1', , ~Te',PI, ... , Pm, t)
Durch Einsetzen erhiilt man aus D 8, D 11 und D 12:
= Pi [E((1.j, t) + (;~ B(~i>t)]
F (i, Pi> C1(pl, t), ... , C1(plc,t), tpl, .. , tpm-l sind die Ladungen el; ... , ek von
JL(PI), ... , JL(pic), g, t) Pl, ... , Pk, tpm ist die Lichtgeschwindigkeit c. E
. C1(Pj, t) - C1(PI, t) und B sind das elektrische bzw. das magnetische
=- ;fl
JL(pj) JL(PI) I C1(Pi, t) - C1(Pl, t) 13 ' Feld. Durch Einsetzen erhalt man F (i, P, t) =
+
ep[E(C1(p, t), t) (&(p, t)/c B(C1(p, t), t))]. Die Ge-
Xi - xI "
schwindigkeiten sind hier als eigene Parameter
"F= - 2:gJLjJLl
I*i
I Xi - Xl
13
notig, weil man sonst die mathematische Form in
D14-4 nicht hinschreiben konIite.
D 13. X ist ein Coulom1Jsches System genau dann
wenn
1) X ist ein inverses Abstandsquadrat-System be-
m. AbschlieBende Bemerkungen
ziiglich h, Wir gehen noch kurz auf Fragen ein, die die
\ .

2) m= ~P~ +1, Gesamtstruktur der KPM und deren Verbindung


zur Anwendung betreffen.
3) fiir alie P, P' E P, t, t' E T und j ;;;;m:
tpi(P, t) = tpi(P', t') > 0, a) Die Gesamtstruktur der KPM
4) fiir alie Pi,'PI EP, t E T: Sie liiBt sich graphisch als "Netz" veranschau.
h(pj, PI, t) = tpm(pj, t) tpl (PI, t) . lichen, wobei die "Knoten" durch die verschiedenen
Spezialisierungen und die "Faden" des Netzes
tpl, ... , tpm-l sind die Ladungen von PI, ... , Pk durch die Spezialisierungsrelation gegeben sind. zUi-
(k--:m-1wegen r~
m= ~ +1 und ~P~=k). Als genaueren, einheitlichen Darsteliurig modifiziereD.
formale Funktionen von p und t hangen sie weder
wir diejenigen friiheren Definitionen, indenen U
von P noch von t echt ab (D 13-3). Wir scIITeiben oder h vorkommt, wie folgt. U und h werden en-
Eli = "1' (P, t) .. "I'm ist die Dielektrizitatskonstante.
stenzquantifiziert und zwar an gleicher Steile wie
Auch sie ist fiir ein gegebenes System konstant, die restllchen' Komponenten der Strukturen. Die
hangt also nicht von P und t ab (D 13-3) fiir m = Relativierung in D 8 und D 11 auf U bzw. h ist dann
~Plj +1). Man schreibt meist V'm(P, t)= 1/4ne. redundant, wird aber trotzdem beibehalten. Z.B.
Einsetzung er~bt: . beginnen D8 und D9 daDn wie folgt: " .. : genau
F(i, Pj, C1(PI, t), .. , C1(PTe,
t), dann wenn es U gibt, so daB: 1) X ist ein ... ". Dann
el, . ,ek ,}/4 n e, t) haben aile bisher definierlen: Systeme . die Form
1 C1(Pj, t) - C1(pz,t) (S,T,N;R;P,C1,JL;1c,m:1i: "j, ': ,2."
.. '. " . .., . . ~
.. - - : : - - .

... - -z~ 4 n e. :-,._-4 ez I C1(Pj, t) - C1(PI,. t) 13 PI, , Pk, "1'1, , tpfl}, 1!'.>' ' : .'. , ,. . . " ,

Ganz analog kann man auch eine Spezialisierung also die Form eines KMS. FUr 1 ;;;;j ;;;; 14 sei SYSj
fiir die Magnetostatik einfiihren. die Menge ailer Systeme, die Definition Nummer j
KMS

teilweise abgeschl.
KMS

I
~nservative~
I
ortsabh.ni.~chwindig=
keitsabh\KMS

Reibun~
I
zeitabh.KMS

Hooke Lorentz-Systeme

inverses Abstands=
quadrat

~
Coulombsches
Gesetz

erfiillen. Die Klassen SYSj sind beziiglich der X2 zwei Systeme, deren Komponenten wir mit
Mengeninklusion halbgeordnet und diese Halb- oberen Indizes schreiben, also Xi = (S, T, N, IR;
ordnung driickt gerade den ProzeB der Spezialisie- pi, (1, , Fi) (fiir i = 1,2). Die f-te Komponente
rung aus. Fiir SYSj ~ SYSr sagen wir, daB SYSj yon Xi werde mit yj bezeichnet, z.B. Ys = Pi. Wir
eine Spezialisierung yon SYSr sei (oder genauer: nehmen an, daB auBer den Kraften alle Kompo-
daB das durch Definition Nummer f geg,ebene Ge- nenten in Xl und X2 identisch sind. Es handelt sich
setz Gj eine Spezialisierung des durch Definition also um das "gleiche" System, nur mit verschie-
Nummer r gegebenen Gesetzes Gr sei). Fiir Gj und denen Kraften. (Natiirlich kann nur eines dieser
Gr bedeutet SYSj ~ SYSr, daB Gr aus Gj logisch Systeme real sein.) Wir nennen nun ein System X
folgt. Die Gesamtstruktur ist nun im folgenden die Kombination (in den Komponenten r und s) der
Diagramm als Netz wiedergegeben, wobei die Systeme Xl und X2 ,. wenn gilt: .
Knoten aus den Systemklassen SYSj bestehen und
1) fiir alle i mit 4<i ~k+m+ 6: Yi=Yil=Yi2,
die Faden Spezialisierungen andeuten. Ein Knoten
ist jeweils Spezialisierung aller iiber ihm liegenden 2) fiir aUe p E pI und t E TI:
und mit ihm durch Faden verbundenen anderen L
F(l, p, t} = FI(r, p, t}
1;;;1/.
+ F2(s, p, t).
Knoten.
1st X ein gemischtes System mit n nicht verschwin-
denden Kraftkomponenten, so laBt sich X offenbar
b) Kombination von Systemen und Niiherung
durch (n -1)-fache Anwendung der Kombinations-
Die Kombination yon Systemen ist eine rein operation als Kombination aus reinen Systemen
begriffliche Operation, mit der sich "gemischte" gewinnen. Die reinen Systeme bilden in diesem
Systeme, in denen mehrere verschiedene Kraft- Sinne eine "Basis", aus der sich alle gemischten
komponenten vorhanden sind, aus ,,reinen" Sy- Systeme aufbauen lassen.
stemen, in denen jeweils nur eine Kraftkomponente Die Kombination van Systemen spielt fiir die
wirkt, zusammensetzen lassen. Da man sich hierbei Anwendung eine groBe Rolle, da man bekanntlich
nur fiir die verschiedenen Kraftkomponenten eines jedes reale System nur behandeln kann, indem man
einzigen Systems interessiert, kann man annehmen, einige der sicher auftretenden Kraftkomponenten
daB die Kinematik in allen betrachteten Systemen (z.B. Gravitationskrafte yon weit entfernten Teil-
gleich ist. chen) vernachlassigt. Anders gesagt betrachtet man
Ein System heiJ3e rein, wenn genau eine Kraft- nur solche Komponenten, deren EinfluB auf das
komponente nicht identisch Null ist. Nun seien Xl, System groB genug ist, um bei iiblichen Bestim-
mungsverfahren relevant zu sein. Man reehnet dann System dureh die dort wirkende Gesamtkraft (bei
das System nur mit diesen Kraftkomponenten' - festen Anfangsbedingungen) gegeben ist. Genauer
dureh, wobei die vernachlassigten Kornponenten . sagen wir, daB x eine Superposition von Xl und X2
ala zu Null gesetit a~usehen sind. Man .sagt aueh,' sei, wenn gilt:
das rill die Reehnung benytzte System sei eine.-- 1) P = pI U p2, P = pI U p2,
NiiM.TUng. Unter Benut;uiJ.g des Komb.inations- 2) 1 I = 1 1 1= 2 1 ., ,

begriffs kann man sagen, daB man dabel das ge-,c ,~r:np p, fP ()p P, /P nP :y- [.
gebene System als. Kombination reiner Systeme /3) fur aIle p E 1'.1() p2 und t E pI () P2:--,
auffaBt und in 'all' diesen remen Systemen - mit / ; F/Tl()T' = Fl/Tl()TI + F2/T1n}1 .,/
einer ~usnahine -~die Kriifte geg~n ~ull ge.henliiB~.' Dabei bedeutet flz die EinSehriinhmg der Funktion
Es 1St ~~ betonen, daB KombmatIOn IDchts llllt f auf die Menge z. Bei Superpositionen werden also
SuperposItIOn zu tun hat. die Gesarntkriifte addiert (Bedingung 3) und zwar
fiir die Argumente, fiir die dies sinnvoll ist. Db-
e) Superposition"- 'lieherwelse Dimmt man dabei an, daB einTeilchen
Die Idee der Superposition ist, daB man ~wei' in verschiedenen Systemen die gleiche Masse behiilt
(oder mehrere) Kraftkomponenten, die schon in (Bedingung 2). Dber die Ortsfunktionen der Sy-
realen Systemen wirken: real iiberlagert, so daB ein sterne ist hier niehts gesagt. Eine Anwendung der
neues System mit neuer Gesamtkraft entsteht. Superposition besteht gerade darin, bei gegebenen
Dazu seien x, Xl, X2 Systeme, bei denen, im Unter- Xl und Xz die Kraftfunktion des superponierten
sehied zu b), die Kinernatik versehieden sein kann, Systems zu benutzen, um Gleiehungen rill dessen
d. h. 0' =1=0'1=1= 0'2. In der Regel interessiert man sieh Ortsfunktion zu erhalten und letztere bereehnen zu
gerade fiirdie Ortsfunktion 0', die im iiberlagerten konnen.

,J . ~

[1] G.IIamel, ~;Die-.Axioine' derMechanik", in: IIand- [6] J. C. C. McKinsey, A. C. Sugar und P. Suppes, Ra-
" buch der Physik, Bd. 6, Springer-Verlag, Berlin 1921; - tional Mech. Anal. 2, (1953)." ' ,",)_
[2] II.IIermes, ,,,Zur Axiomatisierung der Mechanik", [7] J. D. Sneed, The Logical Structure of Mathematical
in: The Axiomatic Method, (lIrsg. L.IIenkin, P. Physics, Reidel Publishing Comp., Dordrecht 1971.
Suppes und A. Tarski).North-lIolland, Amsterdam [8] G. Ludwig, Die Grundstrukturen einer physikalischen
,1959. ';; ," , Theorie, Springer-Verlag, Berlin 1978.
[3] II. Simon, The Philosophical Magazine, 38, No. 276 [9] G. Ludwig, Einfiihrung in die Grundlagen der Physik,
(1947). . , Bd. I, Bertelsmann-Universitatsverlag, Diisseldorf
[4] P. Hinst, Logische Propadeutik ,Fink-Verlag, Miinchen 1974. '
1974. [10] P. Suppes, Axiomatic Set Theory, van Nostrand,
[5] a) E. Mach, Uber die Definition der Masse, Carls Re Princeton 1960. ',
pertorium, 4, (1868). b) E. Mach, Die Mechanik in [11] P. Mittelstaedt, Klassische Mechanik,' BI-Wissen-
ihrer Entwicklung, F. A. Brockhaus, Leipzig 1883. schaftsverlag, Mannheim 1970, S. 61-62.

You might also like