{"entities":{"Q1958007":{"pageid":1968749,"ns":120,"title":"Item:Q1958007","lastrevid":82174505,"modified":"2026-05-06T20:16:53Z","type":"item","id":"Q1958007","labels":{"en":{"language":"en","value":"An elementary proof of the cross theorem in the Reinhardt case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5792260"}},"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":"Q1958007$5865F3DF-09EB-48CD-A51F-F67198AB3FF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d43c6d8f2b02703fa287e0d4b45ebeedea5b9c1c","datavalue":{"value":{"text":"An elementary proof of the cross theorem in the Reinhardt case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1958007$0E2D1E4A-DEB3-45B5-A6FC-A1DA36DFFBF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eaeecc39418aefd89053f7f1df3d4ae7bb6c9ad6","datavalue":{"value":"1210.32008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1958007$462A78B2-2831-4593-8F78-8D5E28A51E78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc15b45fccbf294af7264b195b08942bf3505e6a","datavalue":{"value":{"entity-type":"item","numeric-id":586408,"id":"Q586408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958007$3FE312CB-0459-41D8-AAB0-A6FC70B0CD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f6294933aa7e9c67f346d9adf3bd805707300b","datavalue":{"value":{"entity-type":"item","numeric-id":244113,"id":"Q244113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958007$F1B6BCDC-5405-4A25-BE8F-4BC2CBAAC533","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c4c7a1f46d9894fac4cec7ad103eaed62d5731b","datavalue":{"value":{"entity-type":"item","numeric-id":227392,"id":"Q227392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958007$20543446-EC18-493C-B21E-8B53CA390A42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daff666a7c16c147050cdecb8791dad2810ef77e","datavalue":{"value":{"time":"+2010-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1958007$2B759CFE-EEF2-4DBF-97D4-5120DEE45F1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78c3e36c1016d66a31765b34f472164a98ea8c8d","datavalue":{"value":"https://arxiv.org/abs/0812.4678","type":"string"},"datatype":"url"},"type":"statement","id":"Q1958007$B3E8AED1-E170-4BD0-ACBB-33E30BB2AFFF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e26c26987d6d07ae03e6a9cb0729fea0f192b8ed","datavalue":{"value":"The following separate holomorphicity extension theorem is well known.  Let \\(D_j\\subset\\mathbb C^{n_j}\\) be a domain of holomorphy and \\(\\emptyset\\neq A_j\\subset D_j\\) be a locally pluriregular set for \\(j=1,\\dots,N\\), \\(N\\geq2\\). Let  \\[ X=\\bigcup_{j=1}^N (A_1\\times \\cdots\\times A_{j-1}\\times D_j\\times A_{j+1}\\times\\cdots\\times A_N) \\]  be a cross. Let \\(f:X\\to \\mathbb C\\) be separately holomorphic in each variable. Then \\(f\\) extends holomorphically to a unique function \\(\\hat f'':\\hat X\\to\\mathbb C\\) on the domain of holomorphy  \\[ \\hat X = \\left\\{(z_1,\\dots,z_N)\\in D_1\\times\\cdots\\times D_n\\, \\left|\\, \\sum_{j=1}^n h_{A_j,D_j}^*(z_j)<1\\right.\\right\\}, \\]  where \\(h_{A_j,D_j}^*\\) is the upper regularization of the relative extremal function  \\[ h_{A_j,D_j}=\\sup\\left\\{u\\in\\mathcal{PSH}(D_j)\\,\\left|\\,u\\leq1,\\,u_{|_{A_j}}\\leq0\\right.\\right\\}\\,. \\]  In this paper, an elementary proof of it is given in the case each \\(D_j\\) is a Reinhardt domain and each \\(A_j\\) is a Reinhardt open set.  The proof is based on elementary facts about convex domains in \\(\\mathbb R^n\\) and on logarithmic convex domains and Reinhardt domains.  Moreover, the proof of the theorem leads as a by-product to a sort of ``convex cross theorem'':  Let \\(D_j\\subset\\mathbb R^{n_j}\\) be a convex domain and \\(A_j\\subset D_j\\) a set with non-empty interior, for \\(j=1,\\dots,N\\), \\(N\\geq2\\). Let   \\[ X=\\bigcup_{j=1}^N (A_1\\times \\cdots\\times A_{j-1}\\times D_j\\times A_{j+1}\\times\\cdots\\times A_N) \\]  be a cross. Then the convex hull of \\(X\\) is   \\[ \\text{conv}\\, X\\, =\\, \\left\\{(x_1,\\dots,x_N)\\in D_1\\times\\cdots\\times D_n\\, \\left|\\, \\sum_{j=1}^n \\Phi_{A_j,D_j}(x_j)<1\\right.\\right\\}, \\]  where \\(\\Phi_{A_j,D_j}\\) is the extremum of the convex functions:   \\[ \\Phi_{A_j,D_j}=\\sup\\left\\{u\\in\\mathcal{CVX}(D_j)\\,\\left|\\,u\\leq1,\\,u_{|_{A_j}}\\leq0\\right.\\right\\}\\,. \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1958007$2DFBA7E3-0723-4F22-B419-98DD5736623F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"550258d202edadce2f53dbc3e0c0a3918cb6c912","datavalue":{"value":{"entity-type":"item","numeric-id":490697,"id":"Q490697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958007$24D41F2F-29D4-4432-A07C-C9DD5CE47419","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"804ccff29faaa6ea0d30b9ec5b3b6dcbf12c16bd","datavalue":{"value":"32D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1958007$4013854B-938E-46CB-8F7B-50E893159684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5a95152cb17c663cc20ae5ee2e770980536ea8d","datavalue":{"value":"32D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1958007$82D820D4-C5E4-4D48-8E19-834C97847411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40a5bdb43eb74958d6f9da042ce5fcf2af4915bc","datavalue":{"value":"32A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1958007$D5935153-4FD0-4F00-95FC-1FD615781DEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36beef3c674eed728064734eeab10b8183811581","datavalue":{"value":"5792260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1958007$768DF8EE-958E-42A6-999F-ADD667855EB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84dc274b2bfe80ef0bdc05a4f732098e98fb020","datavalue":{"value":"extension of holomorphic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1958007$0298DCE9-1740-48F4-8B9E-FD41715EE175","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":"Q1958007$B27C47B0-1976-4ADC-98DC-C084F8E1A22F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84f43faec9f8ff5b8a55bdea3a1a8c00c5df280e","datavalue":{"value":"W1991717090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1958007$00B43DA7-8AF1-45FE-8612-DEE95712D3E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e11e5739d56a89754831b9cfd1e4f2be5672638","datavalue":{"value":{"entity-type":"item","numeric-id":4041902,"id":"Q4041902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958007$F4133E53-2503-4B0C-AFBB-C367338D35FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b977e627c7412501aafcd288978ae18232a7fc13","datavalue":{"value":{"entity-type":"item","numeric-id":2724133,"id":"Q2724133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958007$F3F604B1-A60A-4506-A6BE-6D993BC1F048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db383b34019217f2c3f2ddf5dcec0c27cc8b1290","datavalue":{"value":{"entity-type":"item","numeric-id":2475063,"id":"Q2475063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958007$CF00444A-B29D-4C54-A7DE-4B239F33992B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"993f8b205a80728ea5c8785ccc7b4cf1dfc5626a","datavalue":{"value":{"entity-type":"item","numeric-id":1384881,"id":"Q1384881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958007$1693B473-2D60-41C6-8E7C-EF3BCB24D81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c93326a3bbc2e3bc0cd0f4de021fa2af8347a76","datavalue":{"value":{"entity-type":"item","numeric-id":3971033,"id":"Q3971033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958007$DC3187F4-BD78-4F93-A573-18A74610FD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5eacc1caf10bc7410555743aacec4673a334073","datavalue":{"value":{"entity-type":"item","numeric-id":4215056,"id":"Q4215056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958007$56BAFD88-035E-49C7-854E-25890C3493D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6329aa3f53b0007d7c30145137b42eaa70d002d9","datavalue":{"value":{"entity-type":"item","numeric-id":5588250,"id":"Q5588250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958007$AE250BC2-D768-427D-AE7D-1C68346E48CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e41b7ba988078a4090e2e0da54e333bc2484491","datavalue":{"value":{"entity-type":"item","numeric-id":3469367,"id":"Q3469367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958007$92C0DC3D-4C4E-481A-B751-2E33C357BE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95ded22cdfeb5e32de1a83e559bfce50ebc07433","datavalue":{"value":{"entity-type":"item","numeric-id":4771241,"id":"Q4771241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958007$81575BB2-FD27-45F0-A01C-4DE34416B78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eb9bc666e09f00a758232ece0c937448a1e2dfd","datavalue":{"value":{"entity-type":"item","numeric-id":5577367,"id":"Q5577367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958007$CCFFA367-8309-4642-94B1-604C5D05C204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"758847ef0d48333358d1e8d84108abea7c33d6cc","datavalue":{"value":{"entity-type":"item","numeric-id":3934780,"id":"Q3934780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958007$A7BF28B4-40F7-4BCF-A1DA-ADC6AC8C8F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cb01b4a8fa86a253ab99b9de4c5865c26ee8866","datavalue":{"value":{"entity-type":"item","numeric-id":4161939,"id":"Q4161939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958007$C3190767-C8DE-4ADE-82A5-E6987FE82845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98480b29d3bff9ca8776c96606c85f9b87080c22","datavalue":{"value":{"entity-type":"item","numeric-id":1862682,"id":"Q1862682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1958007$F27076F1-C3AB-4082-BD00-3FACC8851249","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a8a9f04ee74a8402ef0aeb97cd067a90bdfe608","datavalue":{"value":"10.1307/MMJ/1281531464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1958007$8470B8FD-720A-4721-BA3C-19ECE03D50C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e658f00bc9b11eae4a59a63e11bcf634541d7ef","datavalue":{"value":{"entity-type":"item","numeric-id":3056536,"id":"Q3056536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50fa969aa5b0fe69ddb4ae4c953ca898bd16547","datavalue":{"value":{"amount":"+0.8493062257766724","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":"Q1958007$C917BBC2-7541-45B3-8DB2-E4B6B2F699A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5f77c790e72cee94ea767783241d1c2dc416bce","datavalue":{"value":{"entity-type":"item","numeric-id":4667593,"id":"Q4667593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f7a25c3ae0c6e1c534f9b44d483929c3ce123f3","datavalue":{"value":{"amount":"+0.833521842956543","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":"Q1958007$7F9BAA68-EAE6-48AF-A682-C6C1BD1701CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f5858637b7d9dc6f47a2d24fd355dabaa9a720","datavalue":{"value":{"entity-type":"item","numeric-id":636215,"id":"Q636215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd31035f4e24cc8313d677037fedf92354cc7f0","datavalue":{"value":{"amount":"+0.8312753438949585","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":"Q1958007$C502C8C4-CE6A-4078-BDB8-98166C33987F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46d0f46336b66089b15c206e9dbbb7000bf6971a","datavalue":{"value":{"entity-type":"item","numeric-id":848500,"id":"Q848500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b48b27fe19a5007164c128c51a394f8bed34a57","datavalue":{"value":{"amount":"+0.8181552290916443","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":"Q1958007$BE4A20B1-6678-4407-B26B-545B6E2A056A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51fb06c927b3cd1e6e5d7e0dd152dd5918619e89","datavalue":{"value":{"entity-type":"item","numeric-id":2905528,"id":"Q2905528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6520090feef5c151a9bc49fad491fb0a833c027d","datavalue":{"value":{"amount":"+0.8096814155578613","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":"Q1958007$6C89BB23-B924-49C1-84E4-F6BEFBF2C4CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An elementary proof of the cross theorem in the Reinhardt case","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_elementary_proof_of_the_cross_theorem_in_the_Reinhardt_case"}}}}}