{"entities":{"Q2258134":{"pageid":2268877,"ns":120,"title":"Item:Q2258134","lastrevid":52214633,"modified":"2026-01-21T04:23:29Z","type":"item","id":"Q2258134","labels":{"en":{"language":"en","value":"Nonstandard proofs of Herglotz, Bochner and Bochner-Minlos theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6410293"}},"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":"Q2258134$015AED36-C804-4BF3-B833-9B362828BB92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d65d5d46bc3f32c244149e468ebe6330d80de90b","datavalue":{"value":{"text":"Nonstandard proofs of Herglotz, Bochner and Bochner-Minlos theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2258134$E5A0B79E-BA05-4651-90FA-E60F32C4DDAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e9d161cefa5ef0d227f14c387c3721eb7a8e81d","datavalue":{"value":"1315.26035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2258134$E7CB8B59-C350-468C-8AE0-61AAF0E6D42F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00315c367f425f8eaf7b7e2ce47d616fd0e43ebc","datavalue":{"value":{"entity-type":"item","numeric-id":2124222,"id":"Q2124222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2258134$31F3DCCE-01D8-4580-8A29-D89242139FA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f641d71910538d27feacd2f5e551abb068288fd3","datavalue":{"value":{"entity-type":"item","numeric-id":170527,"id":"Q170527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2258134$1873D28B-90E8-4D35-84EB-15E6B9DA41C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c1f34cd617859aff4fbe92f8216861e04e26244","datavalue":{"value":{"time":"+2015-03-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":"Q2258134$9E13967B-580B-408C-9408-84B46E3CDDD9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b8b8554b666e6b24a1c3f45aaff7c5327616be55","datavalue":{"value":"Bochner's theorem states that if \\(G\\) is a locally compact abelian group and \\(\\varphi\\) is a function of positive type on \\(G\\), then there exists a unique positive measure \\(\\mu\\) on \\(\\hat{G}\\), the dual group of \\(G\\), such that \\(\\varphi\\) is the Fourier transform of \\(\\mu\\), that is, \\(\\varphi(x)=\\int \\chi(x)d\\mu(\\chi)\\). The theorem was first proven by Herglotz in the case \\(G=\\mathbb{Z}\\) and by Bochner in the case \\(G=\\mathbb{R}\\); the theorem for arbitrary locally compact abelian \\(G\\) is due to Weil.  This article provides a unified approach to both the cases of \\(\\mathbb{Z}\\) and \\(\\mathbb{R}\\) using nonstandard analysis. The key idea is to first prove the finite discrete case (which is a triviality) and then use the fact that the hyperfinite version of Bochner's theorem yields the standard versions by allowing the hyperfinite case to induce a standard measure (as is often the case in applications of nonstandard analysis to measure theory).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2258134$0A8AF063-B2C4-41F5-B851-8E9491FF3E9A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cfd184f2088e28b2dd3a427842d1b851f0e21dd4","datavalue":{"value":{"entity-type":"item","numeric-id":246268,"id":"Q246268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2258134$0FBFE666-4AF9-4F3B-8631-EBF766F6E618","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"df8574ca221627a3b631e5712574287946b0b18d","datavalue":{"value":"26E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2258134$272FCDD9-2978-462F-808F-699D25DBFD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d48e7fcbf5eadbbce70eeb7c13a508997fdb109a","datavalue":{"value":"42A82","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2258134$A4179811-24C4-47CA-B553-A7E76E173C25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d0928b4b3769baae2d49c8b4b552b49e5a1ede1","datavalue":{"value":"6410293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2258134$F306508F-291E-480C-84BE-545CDE73A9B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf5052b7d1aa73320b6d1f1723aff09872e8d361","datavalue":{"value":"Bochner's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2258134$43DDC464-E7BA-4925-9942-B741162D28A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2258134$B5CC3419-8EA2-4207-A526-A6EF29DB8C4C","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":"Q2258134$3FC246AD-3F55-4A47-8543-92668D5B61C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0be4db49a2752c6a68f3a6249cedd8c861cb0f0f","datavalue":{"value":"https://doi.org/10.1007/s00041-014-9368-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2258134$A0EAAE50-B753-4791-AF8B-E418DCFBFFCD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6baaec9b68e4044bf22d6ee17d81c414230d48a","datavalue":{"value":"W2026586101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2258134$DEF932DF-9232-4CF7-AA88-17A65EA7D8D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3b4fbe640f1fc51de145997524e5919d3602be","datavalue":{"value":{"entity-type":"item","numeric-id":3742397,"id":"Q3742397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2258134$C7AAE907-F7A9-4AFE-BECD-E70F4B09A0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1c0d060629294bf1f77fc41025438fd566a46b","datavalue":{"value":{"entity-type":"item","numeric-id":3957177,"id":"Q3957177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2258134$2443D71A-0E45-4F42-99EE-1183BC567D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac7bb0060266411297ebde1a95c8f88f834c0fe","datavalue":{"value":{"entity-type":"item","numeric-id":4218534,"id":"Q4218534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2258134$DE93B233-73FC-4B88-85A1-2031A1C2DFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24f95ccde7ff6b86b4a29082e0579c7e914d0e1","datavalue":{"value":{"entity-type":"item","numeric-id":4071476,"id":"Q4071476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2258134$A8B1ADCF-8F8B-4097-A43D-AD819D050AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"940f07f59278ed9b42f76d0d9dafc72bfb373d89","datavalue":{"value":{"entity-type":"item","numeric-id":3315728,"id":"Q3315728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2258134$8E7501A3-4929-4679-B8E4-E19900E8BABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa6345566ef7aa54902834b8e1b11345c3a0f593","datavalue":{"value":{"entity-type":"item","numeric-id":5662872,"id":"Q5662872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2258134$C3BAC17E-05F5-4E3E-B7BE-387271BF0CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320be0100130068b2dc0b1290f4357d23b143166","datavalue":{"value":{"entity-type":"item","numeric-id":4064159,"id":"Q4064159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2258134$88050EB5-58BD-4513-A639-1A6F6A294B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a59ff9709e0065636983fc6c2b5898c2a541de64","datavalue":{"value":{"entity-type":"item","numeric-id":3996430,"id":"Q3996430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2258134$B404FD68-E5E1-46A7-9ECD-27F6A1A62501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638f6c9e88b8fa882626757671e003448213dd06","datavalue":{"value":{"entity-type":"item","numeric-id":3293614,"id":"Q3293614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2258134$185786D5-4948-433B-91B3-4BA3CBBD6940","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"810d6b27d6fef20302af19b5df8d9bac3a9e8a84","datavalue":{"value":"10.1007/S00041-014-9368-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2258134$F4E87C64-4C49-41A8-828B-8DF24F818E2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f32e0a6f8545f0896cc212cb1ffd180bf4eee1ef","datavalue":{"value":{"entity-type":"item","numeric-id":3357178,"id":"Q3357178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6fd60b7e71c1725b6692a4ac6a231ba342205a1","datavalue":{"value":{"amount":"+0.7263978123664856","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":"Q2258134$BBCE7472-E54C-454A-81A5-8BD35E4A75C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"544d3bcefd30cac315a653bfd6a8a496d6ffeed4","datavalue":{"value":{"entity-type":"item","numeric-id":1802855,"id":"Q1802855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e891f8aca1c329c99e7a1a924a22589bf8de4a","datavalue":{"value":{"amount":"+0.7226551175117493","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":"Q2258134$E0E98DED-618D-4422-8C3F-A8CACF722A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6251d04e21f7457a1c937258ec265b0944b396ce","datavalue":{"value":{"entity-type":"item","numeric-id":5365657,"id":"Q5365657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63f6aa5813aa63bc2401f0494f8f74a0dd5ebbd","datavalue":{"value":{"amount":"+0.7223355770111084","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":"Q2258134$527C8DB1-8082-4EEC-9F9E-24B19D541042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c7c52e56a5fed72735097f7e9d9aacbc4cb1a73","datavalue":{"value":{"entity-type":"item","numeric-id":1725126,"id":"Q1725126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4339eaefb2d22188a258b84b3bee7d8921ba3286","datavalue":{"value":{"amount":"+0.7198794484138489","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":"Q2258134$0542B865-DF78-4459-A47C-56C43A68DC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993ad9210582b887008f1470f60d5a1d355a7180","datavalue":{"value":{"entity-type":"item","numeric-id":1363012,"id":"Q1363012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982aab8a9e554e5ceb8e3b1a7a6b52c0e8aa7e95","datavalue":{"value":{"amount":"+0.7173693776130676","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":"Q2258134$F55438CA-D173-403C-A4A9-FAC5440AAABF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2258134","badges":[]}}}}}