{"entities":{"Q1065836":{"pageid":1076588,"ns":120,"title":"Item:Q1065836","lastrevid":66070098,"modified":"2026-04-12T07:19:58Z","type":"item","id":"Q1065836","labels":{"en":{"language":"en","value":"Comparability invariance of the fixed point property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3922716"}},"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":"Q1065836$700790D8-9A1D-4D8B-AE2B-0B94CFF4F436","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2dca638a10ac021e4c895e4f8d3544f71cb59707","datavalue":{"value":{"text":"Comparability invariance of the fixed point property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1065836$9A865471-62D8-41C7-9A9C-11F02A85F289","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0d30c5fcc64437b91472aa8ab5162603101ed02","datavalue":{"value":"0577.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065836$FFDFE9C6-6FB2-47CB-87CF-AA5BA0AA32AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6996d7d90a635153edbfdbbcb22be6c1381a6c6a","datavalue":{"value":{"entity-type":"item","numeric-id":1065833,"id":"Q1065833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065836$64CFC6E2-9A30-476F-A425-B91363448808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88d8ef14f9efb5bff6aaa7605cf0603dd9ee0e69","datavalue":{"value":{"entity-type":"item","numeric-id":599839,"id":"Q599839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065836$A03815E7-8E84-42D9-87C2-97DB1DDA6996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ed046cfa0f3aaebe7ee5a321838d2b14a94a270","datavalue":{"value":{"entity-type":"item","numeric-id":221782,"id":"Q221782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065836$59087478-CE5A-481E-A347-2ADDF712DAB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065836$D4F9ACE4-E721-42F6-9CC0-B2761440C756","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1065836$83124783-3861-4E61-A6A2-1C4AFFB3A862","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5b0187eab64a6e58d3dbfb1e435c5ca3cadcff0f","datavalue":{"value":"The comparability graph of an ordered set P is the undirected graph whose vertex set is P and in which two vertices x,y are adjacent if and only if \\(x<y\\) or \\(x>y\\). A property of an ordered set is called comparability invariant, if two arbitrary ordered sets with isomorphic comparability graphs either both have this property, or both have not. If P, Q are ordered sets and \\(a\\in P\\), then P(a,Q) is the ordered set obtained from P by replacing a by Q. An ordered set P is said to have the fixed point property, if every order-preserving mapping from P to P has at least one fixed point.    Three theorems are proved. The first of them has an auxiliary character; the further ones are the following. Theorem 2. Let P and Q be finite ordered sets with \\(a\\in P\\). Then P(a,Q) has the fixed point property if and only if either (i) P and Q both have the fixed point property; or (ii) P has the fixed point property, Q does not, and there is no order- preserving map \\(f: P\\to P\\) which fixes only a and sends no element above or below a to a. Theorem 3. The fixed point property is comparability invariant for finite ordered sets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065836$6088A225-AAD1-4C49-A0DA-A5C6097CCAF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065836$C657E5FC-D434-4682-8E5A-A46A2D6B496A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e35cfda1c439de499de525a8a9009114d934bb37","datavalue":{"value":"05C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065836$7492B904-753E-46EC-B5AD-99400E9AF1B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d000163675adf76db566800a1b8361b8804f6606","datavalue":{"value":"3922716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065836$E53D716D-45FE-43D8-8F3A-7F282E45B551","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5525587197a6d99a1bf5df8093acd4d42b90f196","datavalue":{"value":"comparability graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065836$0BE6154C-A006-469C-B83A-8356FF2BA50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca277992f91db5dc674d0eaca198f17556de59e4","datavalue":{"value":"ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065836$93AAEB7B-40F6-4E83-8262-3192DE1C6C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4af3e573c37512545d4dd2737c896674104b5c","datavalue":{"value":"fixed point property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065836$7BC5F2C5-5E93-4F2C-AB28-A0711AEB4326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c8611342813832b89e61c1e76c2698256b30a69","datavalue":{"value":"order-preserving mapping","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065836$44CCD37F-1AF1-49B9-9EBA-98D4882F2E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7aaf017e211c70ce767f7543651ee23d5ad28d5","datavalue":{"value":"finite ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065836$6198776D-DC80-4D6C-8083-B4BEB35596E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"848f049fe855e380f2d8120a13cbce2605fe9381","datavalue":{"value":"comparability invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065836$744EF9CF-0A7E-4108-A6AF-EC744FDCEC8A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d9b462d071c33d7d83486f9fef57845bb41d7acf","datavalue":{"value":{"entity-type":"item","numeric-id":190573,"id":"Q190573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065836$3900C2D2-15D4-4D55-B663-2D42ECFFDC18","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":"Q1065836$B35EDC62-4E39-4F26-A8D6-F19D88004525","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf240083b6ec8bfe22aa68579dde9806badd81b","datavalue":{"value":{"entity-type":"item","numeric-id":1377719,"id":"Q1377719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"645e2ecad88c5f74340d6480a09ef54787fc0c23","datavalue":{"value":{"amount":"+0.8800858855247498","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":"Q1065836$55645A9D-174C-4084-8E56-08932E0FE900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7dab45deaa6ad911151b8b92c12803b31969df3","datavalue":{"value":{"entity-type":"item","numeric-id":3722547,"id":"Q3722547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95f44830465b4844c81737292c192f1e3fdaf676","datavalue":{"value":{"amount":"+0.858934760093689","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":"Q1065836$AE16A57B-91A9-4C90-9EF2-A9C10EC74D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c782403ad54bd55ee2121a794477ddfbffe9735","datavalue":{"value":{"entity-type":"item","numeric-id":3216707,"id":"Q3216707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c19c99483cb76b9a5c94d693bac97e14957e2c31","datavalue":{"value":{"amount":"+0.8266445994377136","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":"Q1065836$158A0A29-E146-46B5-B8F4-C5A38192E195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d1181828547171a17af6aa31e85df993c8f321","datavalue":{"value":{"entity-type":"item","numeric-id":1927945,"id":"Q1927945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac8b24ae2464f7f733ba362dc4d33d76878fa0c","datavalue":{"value":{"amount":"+0.8213200569152832","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":"Q1065836$319473B4-C6EC-4B99-9B67-59ADAD9228E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bfd93d39edc41b5e4530c1eb37abad8e41c977","datavalue":{"value":{"entity-type":"item","numeric-id":3728950,"id":"Q3728950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32643fd5cc4bb4e514c4fefe17ca9df13abb49de","datavalue":{"value":{"amount":"+0.8204905986785889","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":"Q1065836$8C4D12CF-CF23-45BB-8A73-DBB01B28BA27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comparability invariance of the fixed point property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Comparability_invariance_of_the_fixed_point_property"}}}}}