You are on page 1of 3

Ein Redukfionsverfahren

ftir l i n e a r e V e k t o r u n g l e i c h u n g e n

Von F. W. L~vl in Bombay (Indien) Ftir manche geometrische Probleme scheint der folgende lCeduktionssatz wichtig zu sein:
,,Es seien ~1 . . . . , ~,~ reelle Linear/ormen in den Unbestimmten x 1. . . . . k 1. . . . ,lc,, reelle Zahlen. W e n n
1

x , und

liar alle reellen Wertesysteme x 1. . . . , x , gilt, so gilt dieselbe Ungleichung auch /iir ]edes S y s t e m vo~ Ve]ctoren x 1. . . . , x~ eines .Raumes beliebiger D i m e n s i o n . "

So folgt z. B. aus tier flit reelle Zahlen x, y, z leicht verifizierbaren Formel ]x+y+z [ +Ix [ +ly [ +lzl__lx+y l--ly+z[--Iz+x I > 0, (9)

die gleichlautende Vektorungleiehung yon HoR~Ic~ und HLAWKA1). Zum Beweise gentigt es k; = 4- 1 anzunehmen und zu zeigen, da~ wenn n ~ 0 und (1) ftir alle Systeme n-dimensionaler Vektoren x 1. . . . . xr gilt, dasselbe ftir jedes System yon (n-F1)-dimensionalen Vektoren stattfindet. Wir nehmen also an, da6 ]~1] + . . . q-t2s I >- l~s+~ I - F . . . ~- ],~ ] flit alle n-dimensionalen x1. . . . . x~ richtig ist. L~ bzw. L~ sei eine Vereinigungsmenge yon Vektoren, die man erh/ilt, wenn man in tier letzten Ungleiehung links bzw. rechts (n-bl)-dimensionale Vektoren ftir die Unbestimmten einsetzt. Mit IL,.] sei die Summe der Vektorliingen und mit F(L,., :r die entsprechende Summe in tier Orthogonalprojektion yon L i in tier Richtung a bezeichnet; dabei sind mehrfach tiberdeckte Projektionen mit ihrer Vielfachheit zu rechnen. Ferner sei qS(L;) = f F ( L , , a) da, das Integral genommen tiber die ganze n-dimensionale Einheitskugel des Rn+ 1 . Dann sind [ L+ [, F(L+, ~) und qb(L.) additive Mengenfunktionen ftir die Strecken, aus denen L, zusammengesetit ist. qS(L.) ist au6erdem invariant ftir starre Bewegung und nimmt bei einer s lichkeitstransformation don Absolutwert des linearen s als
1) W. BLXSC~K~, Analytische Geometrie (1948) S. 131; dort ohne Beweis. Nach einer h~itteilung yon tterrn BL).SCHKE wurde die Formet urspriinglich dutch eine algebraische Identit/it bewiesen.

Ein Reduktionsverfahren fiir lineare Vek~orungleichungen

25

Faktor an. Wenn E die Einheitsstrecke ist, dann ist ~5(E) --_ c, > 0; ferner fo]gt aus der :~hnlichkeitsinvarianz und der Additivitiit ~(Li) = IL,.l c,. Da nun nach Voraussetzung

F(LI,:r ) >_F(L2,a )

flit jedes :t ist, folgt, da$

/ {F(rl,
und deshalb

= ( [ L l l - iL I) r >-- 0

was zu bewcisen war. Es sei bemerkt, dab man sich in der Voraussetzung des Reduktionssatzes auf ganzzahlige Werte x 1. . . . . x~ beschriinken kann, da dann dieselbe Aussage fiir alle rationalen Werte und auch (triviale Approximation) ftir alle reellen Werte erfiillt ist. Fernerhin kSnnen L~ und L2 auch aus einer abz~hlbaren Menge yon Streeken bestehen, und man kann endlieh, die Strecken durch rektifizierbare B~gen ersetzen. Da ni~mlieh die Differenz yon Bogenli~nge und zugehSriger Sehnenli~nge bei 0rthogonalprojektion nieht vergrSSert wird, kann man die Gesamtli~nge yon Li und die aller seiner 0rthogonalprojektionen gleiehmiil3ig mit Hilfe yon Streckensystemen beliebig approximieren. Es gilt also (3) auch fiir Kurven Lx und L2, wenn die entsprechenden Ungleichungen ftir alle Orthogonalprojektionen riehtig sind. Ersetzen wir aber die l~Iengen L durch beliebige ~engen, so gelangt man durch alas Reduktionsverfahren zu einem n-dimensionalen ~IaSe im /~,+~. Solche Ma$funktionen sind schon in verschiedener Weise definiert worden2), und die hier vorgeschlagene Mettmde mag auch ftir gewisse Zweeke brauchbar sein. Wit setzen also eine Mal]funktion/~* als im /~,, gegeben voraus, die den vier Hauptbedingungen VOn CARATHEODORY 3) gentigt und aul]erdem invariant fiir starre Bewegung im R,+ 1 ist. Mit #*(K, a) bezeiehnen wir das iiuSere 5Ia$ der orthogonalen Frojektion yon K ~/r in Riehtung a auf einen /~,. Vielfachheiten yon Punkten werden dabei nieht in Betraeht gezogen. Nun zerlegen wir dan R~+~ in eine abziihlbare Menge yon BonELsehen l~engen ohne gemeinsame Punkte. Eine beliebig gegebene ~Ienge M wird dadurch in ein System ohne gemeinsame Punkte
M = M1

~.9 M2 ~_) . . . .
oo

(4)

zerlegt. Wit defimeren nun /~*(M, n) = obere Grenze ~ f/~*(Mk, a)d a: e,


h=l

genommen fiir alle zul~ssigen Zerlegungen (4), wobei e eine Konstante ist, die folgendermal]en bestimmt wird. Es sei E ~ R, ~ R~+~ eine reel]bare 1Vfenge,
2) A. P. MORSE U. J. F. RANDOLPI~: GILLESPIE measure, Duke Math. J. Vol. 6 (1940), S. 408 bis 419 und die dort angegebene Literatur. a) K. CARATltEODORu Vorlesungen fiber reelle Funktionen. 1. Aufl., Leipzig 1918, S. 238.

26

F.W. LEvi: Ein Reduktionsverfahren fiir lineare Vektorungleichtmgen

/~*(E) = 1. Da BOR~LSche hIengen des /~,+1 den Raum /~, in mel~bare ~Iengen
CO

schneiden, ist /~*(E)

k flit jede Zerlegung(4); alas Entsprechende gilt

fiir die Projektionen yon E, und die ~a~e sind yon der speziellen Wahl yon E unabhangig. Wir w~ihlen nun / # * ( E , ~)d~ = e. Es la]t sich leicht zeigen, da] #*(M, n) eine MaSfunktion ist, die den Bedingungen I--IV yon CXBXWH~.ODOaY gen~igt, invariant flit starre Bewegungen ist und ffir M ~ R~ mit dem ~fa~e#* fibereinstimmt. Die Systeme yon Lineafformen, welche ffir jedes reelle Wertsystem den Bedingungen (1) genfigen, bilden einen Halbmodul, tier invariant Ifir hIultiplikation mit positiven Zahlen und beliebige reelle lineare Transformation der Unbestimmten x1. . . . , x, ist. Man kann derartige nicht triviale Systeme ffir beliebiges r in folgender Weise erhalten. Die Menge der 2" Linearformen 4- x 1 4 - . . . 4- x, zerf~llt in 2"-1Paare yon Formen, die denselben absoluten Weft fiir jedes Wertesystem haben. Da die Menge gegen Substitutionen x]-->--xj invariant ist, kann man sich auf positive Wertesysteme beschr~izLken,also xj = [xil annehmen. Wir wahlen aus jedem Paar eine Form, so dab die Zahl der negativen Vorzeiehen nieht grSBer ist als die tier positiven. Die so gewahlten Formen Jt~. . . . . ~l~, m ~ 2"-~, sind ffir gerades r nicht eindeutig bestimmt; es ist ffir r = 4 nieht m~glieh, die Zeichen u n d - gleiehmaBig auf die 4 Unbestimmten zu verteilen. Der GesamtfiberschuB der positiven fiber die negativen Vorzeichen in den m-Formen last sich dureh elementare Methoden als r (,~1), t = [(r--l): 2] ermitteln. Nun ist

X 1 ,1 > 1F,

u 1 ~ us ~ . . . ~ ~,. hfan kann nun ohne Ver~nderung der linken Seite die Unbestimmten so permutieren, da~ xx _> x 2 _ . . . ~ x, ist und erh~ilt so
i=1 ]~1

Diese Formel. ist eine Verallgemeinerung yon (2); denn fiir r = 3 ergibt sie Substituiert man x, y, z ffir die 3 ersten Glieder, dann erh/flt man (2). Auf Vektoren angewendet ist deshalb (5) die r-dimensionale Verallgemeinerung der Ungleiehung yon H o ~ C H und HL~WKX.
(Eingeg~ngen am 15.12.1948)