{"entities":{"Q1817365":{"pageid":1828107,"ns":120,"title":"Item:Q1817365","lastrevid":69208629,"modified":"2026-04-13T05:29:35Z","type":"item","id":"Q1817365","labels":{"en":{"language":"en","value":"Extreme points and linear isometries of the domain of a closed *-derivation in \\(C(K)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 952701"}},"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":"Q1817365$49BED02E-361E-4FA9-AF2C-302BECC12D47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa5967c924d84587875e1482a8a8cd703ac7ba63","datavalue":{"value":{"text":"Extreme points and linear isometries of the domain of a closed *-derivation in \\(C(K)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1817365$3EEF6E83-CAA7-4C3D-AA89-EDF9F27FB57D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7991b4165166eeaee76de736541add40500380d7","datavalue":{"value":"0860.46013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817365$0F5E726D-8DD5-4115-83C8-5D93AF382F7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e06be81eda909fd50bb10a06cfc949bf6a05e75a","datavalue":{"value":{"entity-type":"item","numeric-id":819664,"id":"Q819664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817365$650581C8-8978-4BC6-9797-5061FF08D8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a6563e11050bd0c68f91543d696de4173e624e7","datavalue":{"value":{"entity-type":"item","numeric-id":819665,"id":"Q819665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817365$0DC957D7-16AD-4372-9FED-AED025F7FF5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6db4bd470edb111094f50a346a34a8ff7644b14","datavalue":{"value":{"entity-type":"item","numeric-id":176973,"id":"Q176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817365$F7C1D147-9100-45AC-9853-91B7400AED7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70b0f04e0453b3e0c3e6cf7ec2ba4255f06cace6","datavalue":{"value":{"time":"+1996-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1817365$41750B72-5CF7-4196-9E51-6C17AC591E55","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d0b3cc8a53faa2ab82121ea73cd2ae629838f430","datavalue":{"value":"Let \\(K\\) be a compact Hausdorff space and \\(\\delta\\) be a closed*-derivation with dense domain \\({\\mathcal D}(\\delta)\\) in \\(C(K)\\). An open subset \\(K(\\delta)\\) of \\(K\\) is defined by \\(K(\\delta)=\\{x\\in K\\); there exists \\(f\\in {\\mathcal D}(\\delta)\\) such that \\(\\delta(f)(x)\\neq 0\\}\\) and the kernel of the linear operator \\(\\delta\\) is denoted by \\(\\text{Ker}(\\delta)\\). \\({\\mathcal D}(\\delta)\\) becomes a Banach space under the norm \\(|\\;|_1\\) defined by \\(|f|_1=|f|_\\infty+|\\delta(f)|_\\infty\\) \\((f\\in {\\mathcal D}(\\delta))\\).   In this paper, surjective linear isometries of \\({\\mathcal D}(\\delta)\\) are studied and the following structure theorem for such isometries is obtained.   Theorem: Let \\(K_i\\) be a compact Hausdorff space and let \\(\\delta_i\\) be a closed*-derivation with dense domain \\({\\mathcal D}(\\delta_i)\\) in \\(C(K_i)\\) \\((i=1,2)\\).   (1) Let \\(T\\) be a surjective linear isometry from \\({\\mathcal D}(\\delta_1)\\) to \\({\\mathcal D}(\\delta_2)\\). Then the following statements hold.   (i) There exist a homeomorphism \\(\\tau\\) from \\(K_2\\) to \\(K_1\\), \\(w_1\\in\\text{Ker}(\\delta_2)\\) and a continuous function \\(w_2\\) on \\(K_2(\\delta_2)\\) such that \\(\\tau(K_2(\\delta_2))=K_1(\\delta_1)\\), \\(|w_1(y)|=1\\) for all \\(y\\in K_2\\), \\(|w_2(y)|=1\\) for all \\(y\\in K_2(\\delta_2)\\),  \\[ T(f)(y)= w_1(y)f(\\tau(y))\\quad\\text{for}\\quad f\\in {\\mathcal D}(\\delta_1)\\quad\\text{and}\\quad y\\in K_2, \\]   \\[ \\delta_2(Tf)(y)= w_2(y)\\delta_1(f)(\\tau(y))\\quad\\text{for}\\quad f\\in {\\mathcal D}(\\delta_1)\\quad\\text{and}\\quad y\\in K_2(\\delta_2). \\]  (ii) \\(T(\\text{Ker}(\\delta_1))= \\text{Ker}(\\delta_2)\\).   (2) Suppose that there exist \\(w\\in \\text{Ker}(\\delta_2)\\) and a homeomorphism \\(\\tau\\) from \\(K_2\\) to \\(K_1\\) such that \\(|w(y)|=1\\) for all \\(y\\in K_2\\), \\(\\tau(K_2(\\delta_2))= K_1(\\delta_1)\\), \\(f\\circ\\tau\\in {\\mathcal D}(\\delta_2)\\) for all \\(f\\in {\\mathcal D}(\\delta_1)\\), \\(g\\circ\\tau^{-1}\\in{\\mathcal D}(\\delta_1)\\) for all \\(g\\in {\\mathcal D}(\\delta_2)\\), and \\(|\\delta_2(f\\circ\\tau)(y)|= |\\delta_1(f)(y)|\\) for all \\(f\\in{\\mathcal D}(\\delta_1)\\) and all \\(y\\in K_2(\\delta_2)\\). Then the operator \\(T\\) from \\({\\mathcal D}(\\delta_1)\\) to \\({\\mathcal D}(\\delta_2)\\) defined by \\((Tf)(y)= w(y)f(\\tau(y))\\) for \\(f\\in {\\mathcal D}(\\delta_1)\\) and \\(y\\in K_2\\) is a surjective linear isometry.   The analogous result holds for the Banach space \\(({\\mathcal D}(\\delta),|\\;|_2)\\), where the norm \\(|\\;|_2\\) is defined by \\(|f|_2= \\max\\{|f|_\\infty,|\\delta(f)|_\\infty\\}\\).   Furthermore, applying these results to the closed*-derivation extending the differentiation \\({d\\over dt}\\) on \\([0,1]\\), more concrete structure theorems are obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817365$743DC600-E2D0-4EBA-997A-E0E18C5850FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6fc0b7b637b437d76b011ad479748e9dd088b07a","datavalue":{"value":"46E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817365$7E53C726-ADCB-405B-B1EE-62D310A8787E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1843e81409f3792b00d3182ce7ba4ed15ff9fdc","datavalue":{"value":"46B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817365$DC6C2575-7CFC-4D89-8B0E-428486E61398","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88b19df72180f84326e605764133eb64741a976f","datavalue":{"value":"952701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817365$8583B684-2545-4F9D-94B1-63E49CD9D72E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0d03efbabdcc0c6866dedab520998643645fb30","datavalue":{"value":"closed*-derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817365$6C59CC48-E04E-412B-8E72-EE1DA707D33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2203d83b10e974ba003622bbc7e7bf2aa1e5541d","datavalue":{"value":"surjective linear isometries","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817365$79666CBC-B4D5-4B93-A7E7-05AC30D81443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af2a2b5ba90d9cf2805e6a6fc80874ac1471660","datavalue":{"value":"structure theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817365$C2213ED0-DB0A-481D-B50C-EEC1745A98E0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7224bbf6aa337ad7c4f85b196974d6257805a27b","datavalue":{"value":{"entity-type":"item","numeric-id":488531,"id":"Q488531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817365$E7B367FA-7D32-49BE-9A3A-413A5D880696","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":"Q1817365$FBE71B89-DFD7-41E1-8394-54CA623E7E53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1785f2aa424b4a8aebc7b3bb7c5d43bb93cc5eac","datavalue":{"value":"https://doi.org/10.2969/jmsj/04820229","type":"string"},"datatype":"url"},"type":"statement","id":"Q1817365$EAE54782-4B85-439D-8C28-578C021CDFAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"952d81f4bcc799020ff8a4b120a40ae5d3259063","datavalue":{"value":"W2042521445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817365$CE3A971B-EF72-4EF6-9FF0-5C980A58453F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79145ca41e10586ba7ced5b76efb7b9cbb9ce14d","datavalue":{"value":"10.2969/JMSJ/04820229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817365$3CD05626-9F9D-4E94-9CDE-5C47ACD6C665","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b901721eab3e17b9728e65dfc8e42d14283def","datavalue":{"value":{"entity-type":"item","numeric-id":1297937,"id":"Q1297937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d08b873587e30c75d4adf702ac842fd768bc501a","datavalue":{"value":{"amount":"+0.8994905948638916","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":"Q1817365$9C150A23-AD2B-4AEB-93F0-C4C2969B7A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5af67be9c48a7738d171c5870435a32556d55d97","datavalue":{"value":{"entity-type":"item","numeric-id":819666,"id":"Q819666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a229dce169915fd21f074e78a1a718919faeb19f","datavalue":{"value":{"amount":"+0.8911964297294617","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":"Q1817365$2B339F91-A307-4452-AD36-58E4A796F12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11433711fff004a6d1855c65a5277d30e4ebd62b","datavalue":{"value":{"entity-type":"item","numeric-id":1586736,"id":"Q1586736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8263223a7916780cde9dfe54924e5b8bf7a1dca2","datavalue":{"value":{"amount":"+0.8694272637367249","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":"Q1817365$B195EE8D-0DD6-4EB1-B4B2-0897D4ACE66E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extreme points and linear isometries of the domain of a closed *-derivation in \\(C(K)\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extreme_points_and_linear_isometries_of_the_domain_of_a_closed_*-derivation_in_%5C(C(K)%5C)"}}}}}