Sie sind auf Seite 1von 9

.

.

(-:

--'j

-

~.-

.

-~-I :,

:

;

Die Grundstruktur der klassischen Partikelmechanik und ihre SpeziaIisierungen

W. Balzer *

Seminar fUr Philosophie, Logik und Wissenschaftstheorie, Universitii.t Miinchen

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- chanik (KPM) wurde immer wieder versucht, diese Theorie als paradigmatisches Beispiel einer erfolg- reichen physikalischen Theorie zu axiomatisieren und dadurch ihre Grundlagen klar und explizit herauszuarbeiten. Schon Newton selbst wollte sei- ner Theorie eine axiomatisierte Form geben - allerdings ist seine Darstellung weit hinter den Standards yon Exaktheit und Vollstandigkeit zu- riickgeblieben, die schon in der damaligen Ario- matik (etwa in der euklidischen Geometrie) vor- handen waren. 1m 20. Jahrhundert hat es mehrere Ariomatisierungen der KPM gegeben. Historisch bedeutend ist die yon Hamel [1], die die spateren Arbeiten in dieser Richtung anregte. Sie laBt aller- dings in logisch-methodologischer Hinsicht viel zu wiinschen iibrig, weil weder die 'Natur der Grund- begriffe noch die logische Gesamtstruktur der Theorie klar ersichtlich wird. Die weiteren Rekonstruktionen der KPM, welche die formal-axiomatische Methode konsequent ver- folgen, karm man in erster Naherung in zwei Grup- pen einteilen. Die erste Gruppe besteht aus Ario- matisierungen, die sich bei der Auswahl der Grund- begriffe so nahe wie moglich an den rein kinema-

* Die Arbeit dieses Autora erfolgte im Rahmen des DFG- Projekts BA 678/1.

Reprint requests to Dr. W. Balzer, Institut fiir Statistik

und Wissenschaftstheorie, und Wissenschaftstheorie, chen.

Seminar fUr Philosophie, Logik LudwigstraBe 31, D-8000 Miin-

tischen Begriffen halten. Hierzu gehoren etwa die Arbeiten yon Hermes [2] und Simon [3]. In diesen Versuchen wird der Begriff der Kraft als definierter Begriff (im streng logischen Sinn von "definiert") eingefiihrt, d.h. der Begriff der Kraft ist in der Mechanik eliminierbar und nicht-kreativ, also - logisch gesehen - iiberfl.iissig. An dieser Stelle scheint es angebracht, einige all· gemeine Bemerkungen iiber den Begriff der Defini- tion zu machen, da in den gelaufigen Diskussionen der Grundlagen der Physik nicht immer Klarheit iiber ihn besteht. Nach der modernen Definitions- theorie ist der Begriff innerhalb einer vorgegebenen axiomatisierten Theorie gena1l dann (explizit) definierbar, werm der Term, der ihn ausdriickt, eliminierbar und nicht-kreativ ist. Das bedeutet intuitiv erstens, daB zu jeder Aussage der Theorie, in der dieser Term vorkommt, eine andere logisch aquivalente Aussage der Theorie existiert, in der der Term nicht vorkommt (Eliminierbarkeit) und zweitens, daB aus den Ariomen der Theorie zusam- men mit der Definition des Terms keine weitere Aussage, in der der Term nicht vorkommt, ableit- bar ist, die nicht schon ohne die Definition ableitbar ware. Wenn wir im Folgenden yon "Definition" und "definierbar" reden, werden wir es genau in dem eben prazisierten Sinn tun **. Um Millverstandnis- sen vorzubeugen, werden wir die Bedeutungen der Ausdriicke ,,Definition" und "Bestimmung" einer

** FUr eine ausfiihrIiche und formale Darstellung der Definitionstheorie vergleiche etwa Hinst [4].

GroBe scharf trennen. Das, was in physikalischen Schriften oft als "Definition" bezeichnet wird, ist eigentlich nur ala "Bestimmung" eines Begriffs zu

verstehen, d.h. ala Festlegung der Werte einer (oft

nicht definierten)

hangige GroBen) mittela einer gesetzesartigen Aus- sage, in der alle diese GroBen vorkolnmen. In unserem konkreten Fall konnen wir genau sagen, was die Ansiitze zur Definition der dyna- mischen durch die kinematischen GroBen im all- gemeinen bedeuten. Zuerst wird versucht, Massen- verhiiltnisse durch Geschwindigkeitsverhiiltnisse (Hermes [2]) oder durch Beschleunigungsverhiilt- nisse (Mach [5a, b], Simon [3]) zu definieren. Da- nach wird die Kraft einfach als "Abkiirzung" fiir den Ausdruck "Masse mal Beschleunigung" defi- niert. Dadurch wird das zweite Newtonsche Grund- gesetz als bloB definitorische Tautologie gedeutet. Diese "kinematisierenden" Versuche, die Kraft (und sogar die Masse) formal wegzudefinieren, sind inhaltlich sehr unbefriedigend. Sie fiihren zu einer zu eingeschriinkten Fassung der Mechanik. Abge- sehen davon, daB die, Definition der Massenver- hiiltnisse durch Beschleunigungs- bzw. Geschwindig- keitsverhiiltnisse nur in besonderen Anwendungs- fiillen der Theorie funktioniert, beruht dies.e Defini- tion der Kraft auf einer falschen V orstellung der Rolle des Kraftbegriffs in der Theorie. Bei diesen Ansiitzen kann man niimlich nicht mehr die Unter- scheidung zwischen den einzelnen Kraftkomponen- ten, die in einem mechanischen System wirken und . der daraus resultierenden Gesamtkraft rechtfer- tigen. Diese Unterscheidung ist aber fiir viele An- wendungen der KPM wesentlich. Dariiber hinaus ist die Einfiihrung' von speziellen dynamischen Ge- setzen mit dem Begriff der Kraftkomponente we- sentlich verbunden - wie wir unten zeigen werden. Die zweite Richtung in den Axiomatisierungen nimmt keinen AnstoB an der Einfiihrung von Masse und Kraft ala Grundbegriffen. Eine wichtige Arbeit in dieser Richtung stammt von McKinsey, Sugar and Suppes [6]. Sie wurde von Sneed [7] weiterge- fiihrt. Auch die von Ludwig [9] vorgeschlagene Rekonstruktion der KPM ware wohl in dieser Rich- tung einzuordnen - trotz seiner etwas undeut- lichen und schwankenden Deutung des Kraftbe- griffs *. In McKinsey et al. [6] wird der Begriff einer Kraftkomponente, zusammen mit Masse, Ort, Zeit und Partikeln, ala Grundbegriff eingefiihrt. Das zweite Newtonsche Axiom ist dann keine Definition

GroBe durch andere (logisch unab-

mehr (das liiBt sich beweisen), sondern ein echtes, physikalisches Gesetz. Unsere Arbeit schlieBt an die Arbeiten dieser zweiten Richtung an mit dem Ziel, den Kraftbe- griff in inhaltlich befriedigender Weise zu behan- deln. Es wird immer wieder bemerkt, daB der Kraft- begriff von anderer Natur sei ala die iibrigen me- chanischen GroBen und daB das zweite Newtonsche Axiom mehr beinhalte ala nur, daB die Summe der Kriifte gleich der Masse mal Beschleunigung ist.

Ala Beispiel fiir diese Unzufriedenheit diene hier die negative Feststellung, die C. Truesdell zum Versuch von McKinsey-Sugar-Suppes gemacht hat: "The communicator is in complete disagreement with the view of classical mechanics expressed ill this ar-

he does not believe the present work

achieves any progress whatever towards, the pre- cision ofthe concept of force, which always has been and remains still the central conceptual problem, and indeed the only one not essentially trivial, in the foundations of classical mechanics" (McKinsey et al. [6], a. a. 0., S.253). Hier kommtein Unbe- hagen zum Ausdruck, das vor allem die Festlegung des Kraftbegriffs, sowie die Rekonstruktion des zweiten Newtonschen Axioms und seines Verhiilt- nisses zu anderen dynamischen Gesetzen betrifft. Wir wollen in'dieser Arbeit zeigen, was die im- plizite Natur des Kraftbegriffs ist, wie er zur Auf-

stellung des Grundgesetzes der KPM verwandt wird und wie die Spezialgesetze der Theorie durch Spezialisierung aus dem Grundgesetz gewonnen werden konnen. Wir werden ziemlich genau und ausfiihrlich die Form aller wichtigen dynamischen Spezialgesetze angeben, damit' die obigen Punkte und somit auch die Gesamtstruktur der KPM klar hervortreten. Obwohl unsere Darstellung in einem Standard- ,System der axiomatischen Mengenlehre leicht zu formalisieren wiire, haben wir aus Griinden der bes- seren Lesbarkeit davon abgesehen. Wir benutzen einige Abkiirzungen und spezielle Symbole, an die hier kurz erinnert seL Fiir eine Menge A bedeutet

ticle

* In Ludwig [9] S. 124 und in Ludwig [8], S. 78 wird zwar gesagt, daB die Kraftvektoren durch "Masse mal Beschleunigung" "definiert" werden. Aus dem Zusammen- hang wird jedoch klar ersichtlich, daB Ludwig das zweite Newtonsche Grundgesetz als echtes Axiom und nicht etwa als Tautologie betrachtet. AuBerdem ist ihm klar, daB das Wort "definieren" hier nicht ganz ernst gemeint werden soil. (1m ersten genannten Werk schreibt es dieses Wort sogar in Anfiihrungszeichen.) Unter "definieren" meint Ludwig wohl nur, was wir mit "bestimmen" ausdriicken.

~All we Kardinalitat. n-Tupel schreiben ~

m~t

eckigen Klammern (aI,

Mengen der natiirlichen und reellen Zahlen, N n die

, n. Ixl ist der iibJiche

Betrag fiir reelle Zahlen oder Vektoren. ® bezeich- net das Vektorprodukt. "I ist ({Joe", heiBt, daB die Funktion I in allen Argumenten, fiir die dies Sinn

der natiirlichen Zahlen 1,

, an). N und IR smd die

macht, unendlich oft partiell differenzierbar ist.

I. Das Grundgesetz der KPl\I

Zur Axiomatisierung werden wir die auf Bourbaki zuriickgehende Methode der Einfiihrung eines mengentheoretischen Pradikats benutzen *. Als Hilfsbegriffe benutzen wir die "Hilfsbasis- mengen" N, IR, S und T. S (bzw. T) ist ein drei- (bzw. ein-) dimensionaler euklidischer Vektorraum, der dariiber hinaus ein Banachraum sein solI **. S stellt den Raum dar, T die Zeit. In vielen Darstel- lungen der KPM wird S einfach mit 1R3 und T mit IR identifiziert. Dies ist inhaltlich unbefriedigend, da S und T eine physikalische Interpretation (nam- lich als Raumgebiet und zeitliche Ordnung) haben, wahrend 1R3 und IR rein mathematische Interpreta- tionen haben. Wir definieren nun das Grundpradikat der KPM, in dem die grundlegenden Axiome zusammenge- fasst sind.

. D 1. ist ein klassisch-mechanisches

System

(KMS) genau dann wenn es P, (1, fl, k, m, n,

({JI, ···,({Jlc,

"PI, ••• , "Pm und F gibt, so daB

1). x = (S, T, N, IR; P, (1, fl,

k, m, n, ({J1> ••• , ({JJc,

 

"PI,

••• , "Pm,

F)

,

2) P ist eine endliche, nicht.leere M~nge

3)

(1: P X T -+S ist

({J"'"

4)

fl: P-+IR und lUr

aile pEP gilt: fl(P» 0

 

5)

k, m, n E N, n > 0

 

,

6)

a)

fiir

allei mit

1 ~i~k

gilt: ({J(: P X

T-+S

b)

fiir

aile i mit 1 ~i~m gilt: "Pi: P X T-+IR

7) F: NnxpxSkxlRmXT-+S

8) fiir alle PEP

und aile t E, T gilt:

fl (p) ii(p, t) = 2: F (i, p, ({Jl (p, t),

n

i=1

, ({Jlc(P, t),

'.'

• "Pl (p, t),

; "Pm (p, t), t).

.'

, '* Eine leicht faBliche Darstellung Suppes [10].

** Die Banachraum-Struktur Ableitungen bilden zu kc3nnen.

findet man z;B. in

braucht man, um hc3here

Wir werden im folgenden die Ausdriicke auf der rechten Seite yon 8) wie folgt abkiirzen:

F(i, p, t): = F(i, p,

({JI(p, t),

"PI (p, t),

, ({Jl;(p, t),

, "Pm (p, t), t).

Die Summe 2: F(i, p, t) heiBt die resultierende

i:;; ••

Kraft oder auch Gesamtkraft des Systems.

Erlauterungen zu D 1): In den intendierten An- wendungen der KPM werden die eigentlichen Grundbegriffe der Theorie folgendermaBen gedeu- tet. P stellt eine Menge yon Partikeln oder Massen- punkten dar, (1ist die Ortsfunktion. Sie gibt zu jedem Massenpunkt und jedem Zeitpunkt den Ort im Raum in Form eines Vektors in S an (dabei wird implizit ein Koordinatensystem, d.h. eine' Basis, fiir S vorausgesetzt). Fiir pEP liefert (1im zweiten Argument gerade die Bahn yon p. fl ist die Massen- funktion; sie ist ein zeitunabhangiger, positiver Skalar. ({Jl und "Pi werden "mechanische Parameter" genannt. Es sind dies die Parameter (= metrische Funktionen), die ein mechanisches Systemvoll- standig beschreiben. ({Jl sind die "raumartigen" Parameter, d.h. diejenigen, dereu Werte ,Vektoren in S sind - namlich Ort, Geschwindigkeit und Beschleuirigung. Fiir jedes mechanisches'System gibt die Zahl, k an, wieviele raumartigeParameter zu seiner Beschreibung gebraucht werden. '''Pi sind skalare Funktionen - etwa Masse oder elektrische Ladung. In "degenerierten" Fallen konnen die:V'i auch sogenannte "Konstante" sein: entweder Para); meter, die yon der Art des Materials oder des Me- diums abhangen, oder auch universelle Konstanten wie die Gravitationskonstante. Die Zahl m gibt die Anzahl der benotigten skalaren Parameter" an.:b Jd F ist die allgemeine- Kraltfunktion.i Sie' ist eine vektorielle Funktion mit Werten in: S."Fiir jedes

fest vorgegebene i stellt F(, definiert durch F( (p; t):

= F (i, p, t), eine sogenannte Kraftlcomponente dar; Die verschiedeneu F i sind bei uns Grundbegriffe, obwohl wir sie aus asthetischen Griinden zu einer Funktion F zusammengefaBt haben~ Die Bewegung

des Systems ist durch die Zusammensetzung vorl. ~

verschiedenen KraftkomponenteIi; bestimmt

vorgegebenem i hangt F( nicht nur yom jeweilige~ Teilchen p, auf das F( "wirkt"und vom betr~ch. teten Zeitpunkt ab, sondern auch von raumartigen

Parametern ({Ji' und Sk8.1aren V'i,· deren Zahl

~ bzw. ::;;m sein soll. Selbstverstandlich werden bel der Bestimmung der verschiedenen F i nicht alle ({Jl

:Eel

~

und "Pi eine Rolle spielen. Diejenigen, die nicht ge- braucht werden, sind trotzdem formal am Argu- mente zugelassen. AlIe F, hangen dann formal yon den gleichen Parametern ab. Gleichung'D 1-8) ist dieeXplizite FormUlierung des Grundgesetzes des TheOIie, des zweiten New- tonschen Axioms. Der Form nach solite klar sein, daB wir hier keine konkrete Aussage tiber die Wirk- lichkeit haben, sondern vielmehr ein Rahmengesetz. Dies sieht man vor allem daran, daB die Anzahl und die konkrete Natur der fPl und "Pi-Parameter, sowiedie konkrete Form des funktionellen Zusam- mellhangs F, dersie mitem:a~der verbindet, nicht spezifiziert werden. U~ere Hauptthese '~t nun die

folgende:

Die Gesamtstruktur det KPM ~d du'rch'Kon- kretisierung des Rahmengesetzes' (D 1- 8) ge· wonnen.

Anders gesagt: Alie spezielleren Gesetze der KPM, die in verschiedenen Arten dynamischer Systeme Anwendung finden, werden durch sukzessive Spezi- fizierung des Grundgesetzes gewonnen. Diese These wollen wir konkret durch Aufstellung der wich- tigsten Spezialgesetze der KPM innerhalb des ge- gebenen Rahmens nachweisen. Es gibt mehrere Moglichkeiten zur Spezialisierung des Rahmengesetzes; sie konnen bestehen in Spezi- fizierungen

'J]

L" '"i

,j;'I'~

;·'."",~,

;i

i',"

a)

der Zahl n der Kraftkomponenten,

, b)

der Zahl k + m der mechanischen Parameter,

c)

der Natur der fPl- und 1f'rParameter,

d)

der konkreten mathematischen Form, die jede Kraftkomponente F, annehmEm soll

Unter c) wird z.B. gesagt, daB fPl der Ort, fP2die Geschwindigkeit, "Pl die Zeit, "P2 eine "Materialkon- stante" und 1f'3einReibungskoeffizient ist (etwa zur Darstellung eines gedampften harmonischen Oszil- laters in einer Fltissigkeit); oder daB fPl der Ort, fP2 die Geschwindigkeit, "Pl die Masse, "P2 die "Be- schleunigungskonstante" und "P3 der Luftwider- stand ist (etwa zur Darstellung des freien Falls eines Korpers auf der Erdoberflache);oder daB fPl der Ort, fP2 die GeschWindigkeit, P3 die Ableitung der Beschleunigung, "Pl die Zeit, "P2 die Ladung, "P3 die Lichtkonstante ist (zur Beschreibung einer Ladung, die sich in einem Kraftfeld bewegt und ein elektro- magnetisches Feld erieugt - vgl. etwa Mittel- staedt [11]. Zu d) ist zu bermerken, daB die allge-

meine Form der resultierenden Kraft am Summe der Kraftkomponenten in D 1 immer verlangt wird. Spezifizieren kann man aber noch die verschiedenen Kraftkomponenten und zwar einmaI nach ihrer "arithmetischen" Form, z.B. F,= -kx, oder nach "analytischen" Eigenschaften, z.B. nach Differen- '

zierbarkeit oder F,= - 'ilU.

Diese verschiedenen Spezialisierungsmoglichkei- ten konnen vollstandig oder nur partiell, sowie einzeln oder zusammen durchgefiihrt werden. Ein SpeziaIgesetz, bei dem alle vier Arten der Spezifi- zierung vollstandig durchgefiihrt sind, nennen wir ein "t-erminales Gesetz" der KPM.-'

Wir wollen nun allhand yon konkreten Beispielen zeigen, wie der ProzeB der sukzessiven Spezialisie- rung vor sich geht. Die erste Spezialisierung be- trifft nur die Form yon F und zwar nicht voll- standig, sondern nur in sehr allgemeiner Weise. Dadurch erhalten wir das actio-reactio-Prinzip.

D 2. x ist ein teilweise cibgeschlossenes KMS genau

dann,

wenn D 1 gilt und

es p* ~ P gibt, so daB ffir

alle i

mit l;:'i2;i ;:'i2;m+k

und alle p E p* und t E T

gilt: wenn F(i, p, t) +0,

dann gibt es genau ein

p' E P*, so daB F(i, p, t) = -F(i,

p', t) und

(a(p, t) -

= - (a(p, t) -

a (p', ® F (i, p, t)

a (p', ® F(i, p', t).

In einem teilweise abgeschlossenen System braucht nur eine Tellmenge, namlich P*, der Menge der Massenpunkte des Systems abgeschlossen zu sein. Wenn p E p* einer nicht-verschwindenden Kraftkomponente F (i, p, t) ausgesetzt ist, so wirkt die gleiche Kraftkomponente auch auf ein anderes , Teilchen p' und zwar so, daB beide Krafte invers zueinander sind und entlang der Verbindungs- geraden beider Teilchen wirken. Die V orstellung dabei ist, daB F(i, p, t) yon p' und F(i, p', t) van p "verursacht" sind. Die Wirkung yon p' auf p (F(i, p, und die Gegenwirkung yon p auf p' (F(i, p', heben sich auf*.

* Unsere Behandlung ist hier weaentlich enger ala die yon Sneed [7J, indem bei una die "aufhebende" Kraft atets yon gleicher Art sein muB (gleicher Index der Kraftkom- ponenten). Wir kennen aber keine praktiach relevanten Beispiele, in denen eine Kraftkomponente Fi nur yon an- deren Komponenten F i mit i =1=i aufgehoben wfude. In den relevanten Fallen ist Fi stets unter den F j , so daB man die F i mit i =1=i unterdriicken kann.

D3. x ist ein abgeschlossenes KMS genau dann, wenn D2 gilt und p* = P.
D3. x ist ein abgeschlossenes KMS genau dann,
wenn D2 gilt und p* = P.
Auf abgescWossene Systeme wirken keine auBeren
Krarte, weil aIle Kriifte schon im System kompen-
siert werden. Genauer gilt:
D 6. x ist ein KMS mit Reibung genau dann, wenn
1) x ist ein KMS,
2) k~1,
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:
F(i, p, lXI,
, lX/i;,
a) 2: F(i,p,t)=O,
131,
, 13m, t) = - Y • lXl r .
pEP.i~n
b) 2: p.(p)iJ(p,t)
= 2:p.(p) iJ(p, t ' )'
pEP
pEP
c)
2: p.(p)(a(p,t) (8)iJ(p,t»
pEP = 2: p. (p) (a(p, t ' ) (8) a (p, t'».
pEP
Das hei13t, es gilt Impuls- (T1-b) und Drehimpuls~:
erhaltung (T 1-c). 1m Beweis von a) benutzt man
die Forderung in D 2, daB es genau ein p' gibt. Man
zeigt, daB die hierdurch gegebene Abbildung injek-
tiv ist.
iller ist die mathematische Form von F t genau be-
stimmt. F t hangt nur vom Parameter fPl (der Ge-
schwindigkeit) ab und zwar in der Form - Y • lXl r •
Um hervorzuheben, daB in 4) die mathematische
F~rm von F i festgelegt wird, haben wir ~uch, eine
"abstrakte" Notation mit lXI, Pi als Variable~ ffu '
reeIle ZaWen gewaWt. Inhaltlich rouB :~ansich bier
und im folgenden immer vorsteIlen," daB" lX£: ,
D4. x ist ein ortsabhiingiges System genau: dann,
wenn
fPdp, t) und Pi = 1fli (p, t) ist, d. h. die lXi und' Pi
steIlen spezifische Werte der fPi- und 1fli-Parameter
dar. Kompliziertere Reibungsgesetze erhalt man
als Varianten von D6-4.
1) x ist ein EMS,
D
2) k~1 *,
wenn
7. x ist ein zeitabhiingiges System genau daJ;lll,
.
,
3) fiiraIle pEP
und t E T :fPl (p, t) = a CP, t),
',;i ,~,-,,:,''''')':
4)
es ~bt i ~ n, t E T und PEP,
so daB,
und t'E T, so daB; );;,i?;':'~
a
1) xisteip.KMS,
2)es ~bt i~n, pEP
""
""'0'
'",",,':
''''';.:i;'Hr·,!\,}),:>}h
-,,-F(i,p,t)
=1=0.
"F(i,p,t) ut
=1=0. '
"i,;:,r:W
UfPl
•.
/'"
\ n
.
".
'I
I ~
,,'}
Die i-te Kraftkomponente auf 'mindestens ein
Teilchen p hangt zu' mindestens einer' Zeit t vom
Ort a(p, t) des Teilchens ab. "Ort" ist hier der
Die Zeit hat eine SondersteIlung und wird nicht wie
andere 'Parameter b~handelt. Sie ist vi~lID.elIT'von
Anfang an in F als letztes Argument vorgesehen}
einzige explizit festgelegte Parameter.
;'. -;,
,;.',
~. ,) .~'-tL ! i-,
'"D 5. ',x' ist' ein ,geschwi;w,igkeitsabhiingiges "Syst~m
D8.'·x ist ein lcdnservatives Sys~em . be~ilglica U
genau dann~ wenD.
gen~~ii%a~,':v?~;~-',,; ,,', '
,,: ,,' :;:'I':'~::"\:'
!
.
J.'.'. ;J;j'(" (:.)': I~L'J
'{
•••
,',
<
'.'
it);';~~1~~Jf~f;,,>:,';i":: ";c','
ij~:d,,;;"ci J,',,>h)
1) x isteinKMS,
"",
L'F
;!'J[ .;:,"1
2)k~1"
~, ""ll";
>";',,q
n:'. r' \ L'Ih! ',jl:ii:t;;
2):k~1;h'-
'1"
.'
,"
,
'['I",ri, .•'
3) fiir' alie ~'~i3~d
t'~ :1:'; fP~(;, t)
~ :r(p, t),
jrr-JI
3)
1Ur aIle' p E! und t E T: fPl (p,'t) = a(p, t),
:'
-
co
.
.
(
4) U:'PXSJ:xlRm-+lRistfP
"
':1,
'"J;'I
[" "L';\.!
4)
es gibti ::;i; tET und pEP, so daB.
'" ,;
a
'
5) es gibti~n;
so daB fiir aIle
p;i'lXr;c ~;,lX,l-,)
'Pl~ ~
,,-:pm)
t:·
,A~'gt~!
:.:';.
_l~';;~i.~
-a-F(i,p,t)
=1=0.
l"
"
.:
•• 'Jr~' '
'
;:
fPl
~
. f; ~.~
-.
•.
-
-
'!
'
r, ,r"
',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~,
hiingt fiir ein Teilchen' p 'echt davon ab'. ""li','
; ~:, ':; VU (11,', ~l,
", lXJ:,;'pl,':/:;;:~;l"}' ~!:";'10
F, ~t Gradient efu.es Potentials,' U~,;Dies ist; einli
Forderung, ,die die mathematische Form, betrifft:
,
'·IT ,
,
* :I: hat nach 1) die in D1-1) festgelegte Form. Die bei
den folgenden Bedingungen anftretenden Symbole be-
zeichnen, werm nichts gesagt wird, stets die entsprechenden
Komponenten von :1:.
U muB vom Ort (D 8-2,3), kann dariiber
hinaus aber
auch von p, t und anderen Parametern abhangen:
Dies ist eine sehr allgemeine Fassung. Hangt z.B.
U nicht von p, t und th, • pm ab undist le= 1, so D
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)".
'"
.
1) 'x ist ein konservatives Sys~in beziiglich' tJ, .,'
.
l
'"
r,
.
.: i
.'
.
J .•
,
~
.
,.
'.;
,
'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,,:.
"~. ":1' ;0::
2) le=l undm=2.
,":,,:,,
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,
=
1
I'
l*j L 11, (Pj, Pl, t) i' IXj- rJ.l
4)fiir alle P. IX,PI. P2. I: U (p, rJ PI, P2) . PI P21 IXI·
Hier isteine Kraftkomponente vorug 'ibestimmt
durch .Angabe der Parameter und der' ~athema-
tischen Form. Die Grundmenge ,f,der Tei!-chen ent-
halt nur frei fallende Teilchen und nicht die Korper,
die die .Felder "erzeugen". Die sogenannten 'Be-
schleunigungskonstanten werden als Parameter "P2
aufgefaBt, die zeitunabhangig und positiv sind
(D9-3). Hat man ein System, in dem alle Teilchen
auf den gleichen Zentralkorper fallen. ,so ist "P2
dariiber hinaus auch von punabhangig. Durch Ein-
setzenerhaIt mandannF(i, P. I) = - VU(p, o'(p. t).
Wir nehmen bier an. daB die Teilchen· in P durch-
nUIl?-~ri~rtsind.-:P ,- {PI,'.: ., Pk} . Di~, ~qua~toren
iiber p und i in Bedingung 3) laufen dann ~igentlich
iiber die gleichen Entitaten und eille Quantifikation
iiber p ist iiberfliissig. 'Da aber eine genauere For-
mulierung . unnotige Umstandlichkeit erzwingt,
haben wir es bei der etwasunge~auim Version be-
lassen. F f ist der mathematischen Form nach bis
auf 11, bestimmt. Parameter sind die Orte aller
Teilchen. Durch Einsetzen erhalt man
'. 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'(plo t)
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
"s= -gt 2 " ableiten.
Xj -
Xl
"
I
d.h. "Ff=Lh(pj,Pl,t)
13
.
1*1
Xi -
Xl

D10. x ist ein Hooleesches System wenn

genau dann

1) x ist ein konservatives System beziiglich U,

2) IIP~=l.

3)

le, 1und m = 1.

 

4)

fiir alle pEP

und t, t ' E T:

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

";

5) fiirallep,IX,p.t:

U(P,rJ P,t)=PIIXI2.

Ein Hookesches System beschreibt die Bewegung nur eines Teilchens gemaB dem Hookeschen Gesetz. Nach D8 ist ein Parameter !pI der Ort. "PI ist die Federkonstante lc/2.: die wir als "konstanten" Parameter behandeIn. Durch Einsetzen erhiilt man

F(i, p, O'(p. t), k/2, t)=-kO'(p,

-lex". Kompliziertere' Gesetze fiir elastische Sy-

steme kann man durch Verkomplizierung von D10 erhalten, indem man zusatzlich Geschwindigkeits- und Zeitabhangigkeit fordert.

t),

d.h.

"Ft=

U und F hangen bier von den 'ljJinicht

ab. Die 'ljJj

werden aber in der folgenden Definition gebraucht~

D 12. X ist ein gravitierendes System genau dann

wenn

1) x ist ein inverses Abstandsquadrat-System ~iiglich 11"

,

.

I

-

~,

,

be~

.

2) le= ~P~,

3) m-le+1.

4) Ilir alle PEP,

t E T und j ;;;; le: (Pi (p, t) = 0' (Pj, t),

5) fiir alle pE'P,

tET

und i~m-l:

'ljJj(p,t)=

p (Pi) und fiir alle pi, t / : 'ljJm(p; t) = "Pm(pi, t ' ) > 0,

6) fiir alle p, pi E P und lET:"

k (p, p'. t) = "Pm(p, t) P (P) P (pi) .

Hier treten alle Orte und alle Massen als Parameter auf. Auch die Gravitationskonstante g='ljJm(P, t) wird als konstanter Parameter behandelt. Die mathematische Form von Fist durch D 8-4, D 11-4

und D 12-6 vollstandig bestimmt. Wir haben hier also ein Beispiel fiir ein Terminalgesetz der Theorie. Das Potential U is explizit angegeben; es hangt von den Teilchen ab. Bei fester Numerierung der Teil-

chen in der Reihenfolge PI,

, Pic hangt U von Pi

ab, indem Pi den Index liefert, der bei der Summa- tion ausgespart wird. Aquivalent zu 6) von D 12

hatten wir auch direkt

{Jr,

in D 8 fiir alie Pi, ~l, ••• , ~Ic,

, pm, t fordern konnen, daB

U (Pi> ~1, ••• , ~", fJr,

, pm, t)

= _ 2: Pm Pi PI I ~i - ~z1 l;;'lc.l*i Durch Einsetzen erhiilt man
= _ 2: Pm
Pi PI
I ~i - ~z1
l;;'lc.l*i
Durch Einsetzen erhiilt man aus D 8, D 11 und D 12:
F (i, Pi> C1(pl, t),
, C1(plc,t),
JL(PI),
, JL(pic), g, t)
.
C1(Pj, t) - C1(PI, t)
=
- ;fl JL(pj) JL(PI) I C1(Pi, t) - C1(Pl, t) 13 '
Xi -
xI
"
"F£=
- 2:gJLjJLl I
13
I*i
Xi -
Xl
D 13. X ist ein Coulom1Jsches System genau dann
wenn
1) X ist ein inverses Abstandsquadrat-System
ziiglich h,
be-
2) m= ~P~ +1,
3)
fiir alie P, P' E P, t, t' E T und j
tpi(P, t) = tpi(P', t') > 0,
;;;;m:
4)
fiir alie Pi,'PI E P, t E T:
h(pj, PI, t) = tpm(pj, t) tpl (PI,
t) .
tpl,
, tpm-l sind die Ladungen
von PI,
, Pk
(k--:m-1wegen
m= ~r~+1 und ~ P~ =k). Als
formale Funktionen von p und· t hangen sie weder
von P noch von t echt ab (D 13-3). Wir scIITeiben
Eli = "1'£ (P£, t)
"I'm ist die Dielektrizitatskonstante.
Auch sie ist fiir ein gegebenes System konstant,
hangt also nicht von P und t ab (D 13-3) fiir m =
~Plj +1).
Man schreibt
meist V'm(P, t)= 1/4ne.
Einsetzung er~bt: .
F(i, Pj, C1(PI, t), .•. , C1(PTe,t),
el, ••. ,ek ,}/4 n e, t)
1 C1(Pj, t) - C1(pz,t)
-z~ 4 n e 4 ez I C1(Pj, t) - C1(PI, t) 1 3
.
Ganz analog kann man auch eine Spezialisierung
fiir die Magnetostatik einfiihren.
.
-
:-,
-
.

D 14. X ist ein Lorentz-System genau dann wenn

1) X ist ein geschwindigkeitsabhangiges System,

2) k = 2 ~P ~ und m = k + 1,

3)

fiir aile PEP,

t E T und j;;;; k: Pj(p, t) = C1(Pj, t),

fiir aile j mit k <j;;;; 2k: Pi (p, t) = & (Pi> t) und fiir aile j ;;;; m, aile P' und t' :

 

V'j(p, t) = V'j(p', t') > 0,

 

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

~l',

, (1.k':

 
 

F(i, Pi, (1.1, ••• , (1.Te,(1.1', ••• , ~Te',PI,

, Pm, t)

= Pi [E((1.j, t) + (;~ ® B(~i>t»)]

tpl,

• , tpm-l sind

die Ladungen

el;

, ek von

Pl,

, Pk, tpm ist

die Lichtgeschwindigkeit c. E

und B sind das elektrische bzw. das magnetische

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- schwindigkeiten sind hier als eigene Parameter notig, weil man sonst die mathematische Form in D14-4 nicht hinschreiben konIite.

m. AbschlieBende Bemerkungen

Wir gehen noch kurz auf Fragen ein, die die Gesamtstruktur der KPM und deren Verbindung zur Anwendung betreffen.

\

.

a) Die Gesamtstruktur der KPM

Sie liiBt sich graphisch als "Netz" veranschau.

lichen, wobei die "Knoten" durch die verschiedenen Spezialisierungen und die "Faden" des Netzes durch die Spezialisierungsrelation gegeben sind. zUi- genaueren, einheitlichen Darsteliurig modifiziereD. wir diejenigen friiheren Definitionen, indenen U oder h vorkommt, wie folgt. U und h werden en- stenzquantifiziert und zwar an gleicher Steile wie die restllchen' Komponenten der Strukturen. Die Relativierung in D 8 und D 11 auf U bzw. h ist dann redundant, wird aber trotzdem beibehalten. Z.B.

beginnen D8 und D9 daDn wie folgt: " dann wenn es U gibt, so daB: 1) X ist ein

haben aile bisher· definierlen: Systeme . die Form

: genau

". Dann

(S,T,N;R;P,C1,JL;1c,m:1i:

"j,

••

':

,2."

 
 

'.

.

-

-

"

:

:

-

,

.

. -

. ~

PI, ••• , Pk, "1'1, ••• , tpfl} , 1!'.>' ' : .'.

,

,.

.

.

"

,

also die Form eines KMS. FUr 1 ;;;;j ;;;; 14 sei SYSj die Menge ailer Systeme, die Definition Nummer j

teilweise abgeschl. KMS

I

KMS

ortsabh.ni.~chwindig=

I

keitsabh\KMS

~nservative~

Reibun~

Hooke

I

zeitabh.KMS

Lorentz-Systeme

inverses Abstands= quadrat

~

Coulombsches

Gesetz

erfiillen. Die Klassen SYS j sind beziiglich der Mengeninklusion halbgeordnet und diese Halb- ordnung driickt gerade den ProzeB der Spezialisie- rung aus. Fiir SYS j ~ SYS r sagen wir, daB SYS j eine Spezialisierung yon SYS r sei (oder genauer:

daB das durch Definition Nummer f geg,ebene Ge- setz G j eine Spezialisierung des durch Definition

Nummer r gegebenen Gesetzes G r sei). Fiir G j und

G r bedeutet SYSj ~ SYS r , daB G r aus G j logisch

folgt. Die Gesamtstruktur ist nun im folgenden Diagramm als Netz wiedergegeben, wobei die Knoten aus den Systemklassen SYS j bestehen und die Faden Spezialisierungen andeuten. Ein Knoten ist jeweils Spezialisierung aller iiber ihm liegenden und mit ihm durch Faden verbundenen anderen Knoten.

b) Kombination von Systemen und Niiherung

Die Kombination yon Systemen ist eine rein begriffliche Operation, mit der sich "gemischte" Systeme, in denen mehrere verschiedene Kraft- komponenten vorhanden sind, aus ,,reinen" Sy- stemen, in denen jeweils nur eine Kraftkomponente wirkt, zusammensetzen lassen. Da man sich hierbei nur fiir die verschiedenen Kraftkomponenten eines einzigen Systems interessiert, kann man annehmen, daB die Kinematik in allen betrachteten Systemen gleich ist. Ein System heiJ3e rein, wenn genau eine Kraft- komponente nicht identisch Null ist. Nun seien Xl,

X2 zwei Systeme, deren Komponenten wir mit

oberen Indizes schreiben, also Xi = (S, T, N, IR;

pi, (1£, ••• , Fi) (fiir i = 1,2). Die f-te

yon Xi werde mit yj£ bezeichnet, z.B. Ys£ = Pi. Wir

nehmen an, daB auBer den Kraften alle Kompo- nenten in Xl und X2 identisch sind. Es handelt sich also um das "gleiche" System, nur mit verschie- denen Kraften. (Natiirlich kann nur eines dieser Systeme real sein.) Wir nennen nun ein System X die Kombination (in den Komponenten r und s) der Systeme Xl und X2 ,. wenn gilt: .

Komponente

1) fiir alle i mit 4<i ~k+m+

6: Yi =Yi l =Yi 2 ,

2) fiir

aUe p E pI und t E TI:

L F(l, p, t} =

FI(r, p, t} + F2(s, p, t).

1;;;1/.

1st X ein gemischtes System mit n nicht verschwin- denden Kraftkomponenten, so laBt sich X offenbar

durch (n -1 )-fache Anwendung der

operation als Kombination aus reinen Systemen gewinnen. Die reinen Systeme bilden in diesem Sinne eine "Basis", aus der sich alle gemischten Systeme aufbauen lassen. Die Kombination van Systemen spielt fiir die Anwendung eine groBe Rolle, da man bekanntlich jedes reale System nur behandeln kann, indem man einige der sicher auftretenden Kraftkomponenten (z.B. Gravitationskrafte yon weit entfernten Teil- chen) vernachlassigt. Anders gesagt betrachtet man nur solche Komponenten, deren EinfluB auf das System groB genug ist, um bei iiblichen Bestim-

Kombinations-

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

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) begriffs kann man sagen, daB ·man dabel das ge-,c ,~r:np gebene System als. Kombination reiner Systeme /3) fur aIle

auffaBt und in 'all' diesen remen Systemen - mit /

einer ~usnahine -~die Kriifte geg~n ~ull ge.hen liiB~.'· 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.

a~usehen sind. Man .sagt aueh,' sei, wenn gilt:

;

1

I =

1

1

1=

2

1

.,

p, fP ()p

P, /P nP

,

[.

:y-

p E 1'.1 () p2 und t E pI () P2:--,

= Fl/ T l()TI

+ F2/ T1n }1

.,/

F/T l()T'

die Gesarntkriifte addiert (Bedingung 3) und zwar fiir die Argumente, fiir die dies sinnvoll ist. Db- 'lieherwelse Dimmt man dabei an, daB einTeilchen

Die Idee der Superposition ist, daB man ~wei' in verschiedenen Systemen die gleiche Masse behiilt

(Bedingung 2). Dber die Ortsfunktionen der Sy- sterne ist hier niehts gesagt. Eine Anwendung der

neues System mit neuer Gesamtkraft entsteht. Superposition besteht gerade darin, bei gegebenen

(oder mehrere) Kraftkomponenten, die schon in realen Systemen wirken: real iiberlagert, so daB ein

e) Superposition"-

Xl und Xz die Kraftfunktion des superponierten 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

Dazu seien x, Xl, X2 Systeme, bei denen, im Unter- sehied zu b), die Kinernatik versehieden sein kann,

konnen.

,J

.•

• ~

[1] G.IIamel, ~;Die-.Axioine' derMechanik", in: IIand-

" buch der Physik, Bd. 6, Springer-Verlag, Berlin 1921;

[2] II.IIerm es , ,,,Zur Axiomatisierung der Mechanik", in: The Axiomatic Method, (lIrsg. L.IIenkin, P. Suppes und A. Tarski).North-lIolland, Amsterdam

,1959.

';;

,

"

[3] II. Simon, The Philosophical Magazine, 38, No. 276

(1947).

.

,

[4] P. Hinst, Logische Propadeutik ,Fink-Verlag, Miinchen

1974.

[5] a) E. Mach, Uber die Definition der Masse, Carls Re· pertorium, 4, (1868). b) E. Mach, Die Mechanik in

ihrer Entwicklung, F. A. Brockhaus, Leipzig 1883.

[6] J. C. C. McKinsey, A. C. Sugar und P. Suppes, Ra- '

[7] J. D. Sneed, The Logical Structure of Mathematical Physics, Reidel Publishing Comp., Dordrecht 1971.

[8] G. Ludwig, Die Grundstrukturen einer physikalischen

- tional Mech. Anal. 2, (1953)."

,",)_

, Theorie, Springer-Verlag, Berlin 1978.

[9] G. Ludwig, Einfiihrung in die Grundlagen der Physik,

Bd. I, Bertelsmann-Universitatsverlag, '

1974.

Diisseldorf

[10] P. Suppes, Axiomatic Set Theory, van Nostrand, '

[11] P. Mittelstaedt, Klassische Mechanik,' BI-Wissen- schaftsverlag, Mannheim 1970, S. 61-62.

Princeton 1960.

,