{"entities":{"Q1403516":{"pageid":1414256,"ns":120,"title":"Item:Q1403516","lastrevid":70343136,"modified":"2026-04-13T14:08:22Z","type":"item","id":"Q1403516","labels":{"en":{"language":"en","value":"An integral geometric theorem for simple valuations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1973841"}},"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":"Q1403516$10447088-C462-4175-99EE-54692AC39D34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bbde6712312977d0ac6bda58b9fb70d06729a74","datavalue":{"value":{"text":"An integral geometric theorem for simple valuations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1403516$08A6CCAD-B65A-4B72-A4DD-FDF8F3AB64F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a276225187170b6735c9f1663cbddd8be9c4074","datavalue":{"value":"1041.52006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403516$DB95E388-7F53-4FF5-9134-C292CF583B10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcf622d4faaaf9eb501926768589cf6bc6e37689","datavalue":{"value":{"entity-type":"item","numeric-id":213743,"id":"Q213743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403516$067D2784-2BDA-4DDF-926D-944B1AF0679C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c29a0672291b7a6649e122aabeda90cb99d35de","datavalue":{"value":{"time":"+2003-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1403516$7E9ECD39-A189-4E09-B403-7C1262D4FC3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cb423c0f03fb6e8215dda65b0b81afd16f52509","datavalue":{"value":"https://eudml.org/doc/225943","type":"string"},"datatype":"url"},"type":"statement","id":"Q1403516$004A1281-CA6A-40BB-B3DB-DADE44B435B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7374d30bb22ade7cda56d634ecea3c5a72c56b52","datavalue":{"value":"http://www.emis.de/journals/BAG/vol.44/no.2/16.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1403516$22AEC6B5-F38B-4452-9AF4-1F71BAD67185","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a834442d7e9860cc1b4e2c0ac25e87baffebacdf","datavalue":{"value":"Let \\({\\mathcal K}^n\\) be the space of convex bodies (understood as nonempty compact convex subsets of \\(\\mathbb R^n\\)), endowed with the Hausdorff metric; let \\(\\mu\\) be the (suitably normalized) Haar measure on the group \\(G_n\\) of rigid motions of \\(\\mathbb R^n\\), and \\(\\mu_q\\) the (suitably normalized) motion invariant measure on the space \\({\\mathcal E}^n_q\\) of \\(q\\)-dimensional affine subspaces of \\(\\mathbb R^n\\). A map \\(\\phi:{\\mathcal K}^n \\rightarrow \\mathbb{R}\\) is a valuation if  \\[ \\phi(K \\cup M) + \\phi(K \\cap M) = \\phi(K) + \\phi(M) \\]  for any \\(K,M \\in {\\mathcal K}^n\\) with \\(K \\cup M \\in {\\mathcal K}^n\\). If, moreover, \\(\\phi(K) = 0\\) whenever \\(\\dim K < n\\), then \\(\\phi\\) is called a simple valuation.  The following theorem is due to Hadwiger:  Theorem 1. Let \\(\\phi: {\\mathcal K}^n \\rightarrow \\mathbb{R}\\) be a continuous valuation. Then  \\[ \\int_{G_n} \\phi(K \\cap gM) d \\mu(g)= \\sum_{k=0}^n \\phi_k(K)V_{n-k}(M) \\]  for \\(K,M \\in {\\mathcal K}^n\\), where  \\[ \\phi_k(K)=\\int_{{\\mathcal E}^n_{n-k}} \\phi(K \\cap E) \\,d\\mu_{n-k}(E). \\]  The author proves Theorem 2 which is an analogue of Theorem 1. It concerns continuous simple valuations and the group of translations instead of \\(G_n\\). Roughly speaking, Theorem 2 is the following:  Theorem 2. Let \\(\\phi: {\\mathcal K}^n \\rightarrow \\mathbb{R}\\) be a continuous simple valuation. Then  \\[ \\int_{\\mathbb R^n}\\phi(K \\cap (M+x)) d\\lambda(x) = \\phi(K)V_n(M) + \\int_{S^{n-1}}f_{K,\\phi}(u) S_{n-1}(M,du), \\]  where \\(f_{K,\\phi}\\) is some odd function on \\(S^{n-1}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403516$C2596A94-8125-40D7-9113-1E996E991F32","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6b2aa1f634d1e60122558ffdbb4c67d36726e75d","datavalue":{"value":{"entity-type":"item","numeric-id":587711,"id":"Q587711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403516$82F53A3E-6CF9-409E-BFBD-C6C7BD7C5B6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca61eab0925774aac3721bd45536bff0d1d0ff14","datavalue":{"value":"52A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403516$98368FE7-BA31-4BDB-80FB-D411EEB7800A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"182010734e6ffb315b645066a7e5e6ba66d3be3b","datavalue":{"value":"52B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403516$FAC3F34A-DEA5-48D7-B201-730E7276EBB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc4efdecbc47c8e07560c6261e479420dd9c2120","datavalue":{"value":"1973841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403516$1C9C4D03-F533-48DC-8B32-024D18CE73B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e96af928609edd16ca274c4d44e0a7cc2a5a54e7","datavalue":{"value":"continuous valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403516$EAA19FD0-DE7D-4835-B3DA-087345268AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f12f5d536a9a74a165c658709359b9adab278f22","datavalue":{"value":"Hadwiger theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403516$6764F9CF-6A9E-42EF-B7DE-D2163ED36A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb236b754d045f730acb99fd7411b8c87a651686","datavalue":{"value":"simple valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403516$BDCEADC5-EFEC-4FC6-AEA6-926BAA1033AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7430bfda632f5fd5f12bc4e75ba6ae2a927b0c91","datavalue":{"value":"translative mean value formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403516$961FD32E-7B4B-4A3D-9B5C-396A3FA9452F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"767eafa6763ae8d15a5508a707f8723668be6cac","datavalue":{"value":{"entity-type":"item","numeric-id":208685,"id":"Q208685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403516$D6CB5537-9AB7-4E21-957A-34E83F09268B","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":"Q1403516$B1CA03C7-D44B-4FA7-A960-30961BB59EBF","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"abb2855594e51260125a9fcd7a56686db73dec31","datavalue":{"value":"bafkreic4ie7bwwgbtkox3z7nvebvqybk7adj527l655zijwhma7emttrze","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403516$2BD9A4A6-3667-40C6-A5E2-CEA1CDFD665F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"398cab90e632b1fd9e5022bd1d8e2ad25c49672b","datavalue":{"value":{"entity-type":"item","numeric-id":4895405,"id":"Q4895405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06f1274373a9bb04d2cb329fe4497b56c78d8443","datavalue":{"value":{"amount":"+0.8813452124595642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1403516$C220E2A7-2FC8-41C1-A5B9-A6A0CF4B47EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b23b27a0aa5297bc5aa7cb68d616434897308308","datavalue":{"value":{"entity-type":"item","numeric-id":1827418,"id":"Q1827418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06f1274373a9bb04d2cb329fe4497b56c78d8443","datavalue":{"value":{"amount":"+0.8813452124595642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1403516$E06A6D24-B35F-4A21-882A-150B0B2ECD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c413f343287026595fe3d76fd1c49faf0f6c2c9","datavalue":{"value":{"entity-type":"item","numeric-id":760916,"id":"Q760916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a884de4018ea5aa7fcabe305779a18dcbcc9fbd5","datavalue":{"value":{"amount":"+0.8541909456253052","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1403516$16FD54B8-CB68-4543-B1B6-8FB6138CBAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d8d32ccdba1269e902018fc824c8b417753832f","datavalue":{"value":{"entity-type":"item","numeric-id":1306685,"id":"Q1306685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d05120ceb274dc20c7deceacd8ee0ceb7fbb145","datavalue":{"value":{"amount":"+0.850959062576294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1403516$8E41500A-8ACF-4209-9466-8646C9374C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b05f712a4ae16b140ab94f9cab9c6e0df8724f7e","datavalue":{"value":{"entity-type":"item","numeric-id":4368925,"id":"Q4368925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0814cbbe8ec178ac99581b33d7587e80b3ba46e5","datavalue":{"value":{"amount":"+0.8487433791160583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1403516$4916B243-9EAD-44FA-8874-A73B891F8CDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An integral geometric theorem for simple valuations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_integral_geometric_theorem_for_simple_valuations"}}}}}