{"entities":{"Q1832003":{"pageid":1842745,"ns":120,"title":"Item:Q1832003","lastrevid":43356219,"modified":"2025-07-25T01:50:00Z","type":"item","id":"Q1832003","labels":{"en":{"language":"en","value":"Hyper-Tensors."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2565044"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1832003$576CD0A2-1D8B-4991-B274-A8706952C890","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69aef8ff6ab71e496833df4c73c43b3b101e4728","datavalue":{"value":{"text":"Hyper-Tensors.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1832003$9B93B401-8685-48DF-A586-8A3ACE349A1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3875427d23bc95d145399e3b32b955ec1b1629d","datavalue":{"value":"56.0659.04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1832003$68CA5FEB-4109-4CDB-9FD3-43C0DA7C091B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b42f6c34df7292299842b89f1609aee3605f9eb","datavalue":{"value":"10.2307/1968098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1832003$D41AEF88-DA56-48F0-99F7-0362AFA30793","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d81d739b7458cbb32554dd60c8850a09b48902","datavalue":{"value":{"entity-type":"item","numeric-id":561285,"id":"Q561285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1832003$E77886D9-E519-4D76-A524-29280C03AE34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1832003$E9E5502B-6584-4412-BBD7-B9633ACAA162","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa7b89c2fb45b2a4b2542838fa1207277c05a6db","datavalue":{"value":{"time":"+1930-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1832003$ECDE2E67-1756-40AB-AE32-C642BC33AFC5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0ad42113f5c06326923df1b2664dba7a90a703d7","datavalue":{"value":"Es sei \\(\\boldsymbol a: \\bar x^i=a^i(x)\\) eine analytische umkehrbare Transformation in der Umgebung eines allgemeinen Punktes \\(P\\) des Raumes, der auf die Koordinaten \\(x^i\\) (\\(a, b, \\ldots,i,\\ldots =1,\\ldots,n\\)) bezogen ist, und \\(\\boldsymbol{b}: \\hat x^i=b^i(\\bar x)\\) eine andere solche Transformation. Ein System von Zahlen \\(X^\\alpha \\) (\\(\\alpha,\\beta, \\gamma,\\dots = 1,\\ldots,N\\)), welche sich nach  \\[  \\bar X^\\alpha =f_\\beta ^\\alpha (\\boldsymbol a)X^\\beta,\\;\\;\\hat X^\\alpha =f_\\beta ^\\alpha (\\boldsymbol{ba})X^\\beta,\\;\\;f_\\gamma ^\\alpha (\\boldsymbol b)\\,f_\\beta ^\\gamma (\\boldsymbol a) = f_\\beta ^\\alpha (\\boldsymbol{ba})  \\]  transformieren, hei\u00dft ein ``Hypertensor''. Aus  \\[  \\boldsymbol{a}: x^i=\\sum _1^\\infty {}_s a_{j_1\\ldots j_s}^i x^{j_1}\\ldots x^{j_s} \\dfrac {1}{s!}  \\]  und der analogen Gleichung f\u00fcr \\(\\boldsymbol b\\) folgt die Zusammensetzung (\\(\\boldsymbol{ba}\\)) mit den Koeffizienten  \\[  (ba)_j^i = b_k^i a_j^k,\\;\\;(ba)_{jk}^i = b_l^i a_{jk}^l + b_{cd}^i a_j^c a_k^d.\\tag{1}  \\]   Verf. sucht die Darstellung der Hypertensoren, welche nur von \\(a_\\cdot ^\\cdot \\), \\(a_{\\cdot\\cdot }^\\cdot \\) abh\u00e4ngt. Aus (1) folgt  \\[  \\frac {\\partial f_\\beta ^\\alpha (\\boldsymbol{ba})}{\\partial (ba)_{jk}^i} = \\frac {\\partial f_\\gamma ^\\alpha (\\boldsymbol b)}{\\partial b_{rs}^i} f_\\beta ^\\gamma (\\boldsymbol a) \\breve a_r^j \\breve a_s^k = f_\\gamma ^\\alpha (\\boldsymbol b) \\frac {\\partial f_\\beta ^\\gamma (\\boldsymbol a)}{\\partial a_{jk}^i} \\breve b_i^r,  \\]  wo die \\(\\breve a_\\cdot ^\\cdot \\) resp. \\(\\breve b_\\cdot ^\\cdot \\) inverse Koeffizienten zu \\(a_\\cdot ^\\cdot\\), \\(b_\\cdot ^\\cdot \\) sind, und wenn man die Konstanten  \\[  C_{\\beta i}^{\\alpha jk} = \\Biggl[ \\frac {\\partial f_\\beta ^\\alpha (\\boldsymbol{a})}{\\partial a_{jk}^i} \\Biggr]_{\\boldsymbol{a}=\\boldsymbol{1}}  \\]  einf\u00fchrt, so folgt (wegen \\(f_\\beta ^\\alpha (\\boldsymbol{1})=\\delta _\\beta ^\\alpha \\))  \\[  \\frac {\\partial f_\\beta ^\\alpha }{\\partial a_{jk}^i}= C_{\\gamma r}^{\\alpha jk}f_\\beta ^\\gamma \\breve a_r^j \\breve a_s^k \\equiv C_{\\beta r}^{\\gamma jk}f_\\gamma ^\\alpha \\breve a_r^i\\tag{2}  \\]  mit den Integrabilit\u00e4tsbedingungen  \\[  C_{\\beta i}^{\\alpha jk} C_{\\gamma r}^{\\beta st} = C_{\\beta r}^{\\alpha st} C_{\\gamma i}^{\\beta jk}.  \\]  Nun l\u00e4\u00dft sich die Matrix \\(f_\\beta ^\\alpha (a_\\cdot ^\\cdot, a_{\\cdot \\;\\cdot }^{\\;\\cdot})\\) f\u00fcr \\(a_{\\cdot \\;\\cdot }^{\\;\\cdot } =0\\) in \\(m\\) irreduzible Quadratmatrizen \\(f_\\beta ^\\alpha,\\ldots, f_{\\beta _m}^{\\alpha _m}\\) zerlegen, und es ist  \\[  f_{\\beta _\\mu }^{\\alpha _\\mu }(sa_\\cdot ^\\cdot,0) = s^{\\sigma _\\mu } f_{\\beta _\\mu }^{\\alpha _\\mu }(a_\\cdot ^\\cdot,0).  \\]  Die Koordinaten lassen sich so numerieren, da\u00df \\(\\sigma _1\\leqq \\sigma _2\\leqq \\ldots \\leqq \\sigma _m\\). Es folgt dann leicht  \\[  C_{\\beta _\\nu \\cdot }^{\\alpha _\\mu \\cdot\\cdot } =0  \\]  f\u00fcr \\(\\mu \\geqq \\nu \\) und daraus endlich  \\[  f_{\\beta _\\mu }^{\\alpha _\\mu }(\\boldsymbol{a}) = f_{\\beta _\\mu }^{\\alpha _\\mu }(a_\\cdot ^\\cdot,0), \\quad f_{\\beta _\\mu }^{\\alpha _\\nu }(\\boldsymbol{a}) = 0\\tag{3}  \\]  f\u00fcr \\(\\mu >\\nu \\).  Weitere \u00dcberlegungen zeigen, da\u00df sich das Problem auf den Fall \\(m = 2\\), \\(\\sigma _2=\\sigma _1 +1\\) reduzieren, und der allgemeinste Hypertensor sich also aus zwei willk\u00fcrlichen Tensoren aufbauen l\u00e4\u00dft. Setzt man z. B.  \\[  f_{\\beta _1}^{\\alpha _1} = a_{j_1}^{i_1}\\ldots a_{j_r}^{i_r}, \\quad f_{\\beta _2}^{\\alpha _2} = a_{l_1}^{k_1}\\ldots a_{l_{r+1}}^{k_{r+1}}  \\]  und nach (3)  \\[  f_{\\beta _1}^{\\alpha _2} = 0,  \\]  so ist noch \\(f_{\\beta _1}^{\\alpha _1}\\), welches der Bedingung (2), d. i.  \\[  \\frac {\\partial f_{\\beta _2}^{\\alpha _1}}{\\partial a_{jk}^i}= C_{k_1\\ldots k_{r+1}}^{i_1\\ldots i_r}{}_i^{st}\\,a_{l_1}^{k_1} \\cdots a_{l_{r+1}}^{k_{r+1}}\\breve a_s^j\\breve a_t^k = C_{l_1\\ldots l_{r+1}}^{j_1\\ldots j_r}{}_s^{jk}\\,a_{j_1}^{i_1} \\cdots a_{j_r}^{i_r}\\breve a_i^s\\tag{4}  \\]  Gen\u00fcge leistet, zu bestimmen. Bedient man sich der Transformation \\(\\boldsymbol{a} = (\\lambda _j\\delta _j^i,0)\\) (\\(\\lambda \\) willk\u00fcrlich, \u00fcber \\(j\\) nicht summieren), so zeigt sich sofort, da\u00df  \\[  (\\text{f\u00fcr \\,} a_1,\\ldots,a_{r+2}=1,\\ldots, r+2)  \\]   \\[  C_{l_1\\ldots l_{r+2}}^{j_1\\ldots j_rjk}= \\sum _a c_{l_1\\ldots l_{r+2}}^{a_1\\ldots a_{r+2}} \\sigma _{l_{a_1\\ldots }}^{j_1} \\sigma _{l_{a_r}}^{j_r} \\sigma _{l_{a_{r+1}}}^{(j} \\sigma _{l_{a_{r+2}}}^{k)}  \\]  ist, wobei \\(c\\) willk\u00fcrliche Konstanten sind. Somit ist nach (4)  \\[  f_{\\beta _2}^{\\alpha _1}= \\sum _a c_{l_1\\ldots l_{r+2}}^{a_1\\ldots a_{r+2}} a_{l_{a_1}}^{i_1}\\cdots a_{l_{a_r}}^{i_r} a_{l_{a_{r+1}}l_{a_{r+2}}}^{i} \\breve a_i^{l_{r+2}}.  \\]  Setzt man also insbesondere  \\[  c_{l_1\\ldots l_{r+2}}^{1\\ldots r+2} =1, \\text{ \\;\\;oder \\;\\;} c_{l_1\\;\\;l_{r-1}\\;l_r\\;\\,l_{r+1}l_{r+2}}^{1\\ldots r-1\\;r+2 \\;\\;r\\;r+1} =1  \\]  (w\u00e4hrend die \u00fcbrigen \\(c = 0\\) sind), so bekommt man entweder  \\[  f_{\\beta _2}^{\\alpha _1}= a_{l_1}^{i_1}\\cdots a_{l_r}^{i_r} a_{l_{r+1}s}^i \\breve a_i^s \\text{ \\;\\;oder \\;\\;} f_{\\beta _1}^{\\alpha _1}= a_{l_1}^{i_1}\\cdots a_{l_{r-1}}^{i_{r-1}} a_{l_rl_{r+1}}^{i_r}.  \\]   Der erste Fall ist f\u00fcr \\(r = 0\\) mit der Darstellung der \\textit{Veblen}schen kontravarianten projektiven Vektoren identisch.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1832003$B953D939-4365-4C5C-9144-0C1BEE556E29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f018f73f8897856c3afa599e1102f22d6a4abca","datavalue":{"value":"2565044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1832003$42BDB998-405A-4F97-9D61-40C136BC42FF","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1832003$BDC66A6D-556C-460F-9C2E-6BF10C82BCCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a81d0cd0dbb57a38b005707fdccd2c6dc693acd3","datavalue":{"value":"https://doi.org/10.2307/1968098","type":"string"},"datatype":"url"},"type":"statement","id":"Q1832003$59616C77-0E08-4D31-A3DE-0A862D94F24C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a17035bdacb7d6ae1c851a3fa572d5543ddd7197","datavalue":{"value":"W4237500153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1832003$ACC2194E-39A5-4878-874F-B1F347661427","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1832003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1832003"}}}}}