Invertibility of functional Galois connections

被引：8
|
作者：
Akian, M
Gaubert, S
Kolokoltsov, V
机构：
[1] Inst Natl Rech Informat & Automat, F-78153 Le Chesnay, France
[2] Nottingham Trent Univ, Dept Comp & Math, Nottingham NG1 4BU, England
[3] Russian Acad Sci, Inst Informat Transmiss Problems, Moscow, Russia
来源：
COMPTES RENDUS MATHEMATIQUE | 2002年 / 335卷 / 11期
关键词：
D O I：
10.1016/S1631-073X(02)02594-3
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We consider equations of the form Bf = g, where B is a Galois connection between lattices of functions. This includes the case where B is the Fenchel transform, or more generally a Moreau conjugacy. We characterize the existence and uniqueness of a solution f in terms of generalized subdifferentials, which extends K. Zimmermann's covering theorem for max-plus linear equations.
引用
收藏
页码：883 / 888
页数：6
相关论文
共 50 条
  • [31] Galois Connections for Flow Algebras
    Filipiuk, Piotr
    Terepeta, Michal
    Nielson, Hanne Riis
    Nielson, Flemming
    FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, 2011, 6722 : 138 - 152
  • [32] Galois Connections in Axiomatic Aggregation
    Leclerc, Bruno
    FORMAL CONCEPT ANALYSIS, 2011, 6628 : 24 - 25
  • [33] Duality for Quasilattices and Galois Connections
    Romanowska, Anna B.
    Smith, Jonathan D. H.
    FUNDAMENTA INFORMATICAE, 2017, 156 (3-4) : 331 - 359
  • [34] Programming from Galois connections
    Mu, Shin-Cheng
    Oliveira, Jose Nuno
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (06): : 680 - 704
  • [35] Galois connections and data analysis
    Wolski, M
    FUNDAMENTA INFORMATICAE, 2004, 60 (1-4) : 401 - 415
  • [36] Logical relations and galois connections
    Backhouse, K
    Backhouse, R
    MATHEMATICS OF PROGRAM CONSTRUCTION, 2002, 2386 : 23 - 39
  • [37] On Galois Connections and Soft Computing
    Garcia-Pardo, F.
    Cabrera, I. P.
    Cordero, P.
    Ojeda-Aciego, Manuel
    ADVANCES IN COMPUTATIONAL INTELLIGENCE, PT II, 2013, 7903 : 224 - 235
  • [38] Fuzzy Galois connections categorically
    Gutierrez Garcia, Javier
    Mardones-Perez, Iraide
    de Prada Vicente, Maria Angeles
    Zhang, Dexue
    MATHEMATICAL LOGIC QUARTERLY, 2010, 56 (02) : 131 - 147
  • [39] Logics from Galois connections
    Jarvinen, Jouni
    Kondo, Michiro
    Kortelainen, Jari
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2008, 49 (03) : 595 - 606
  • [40] On the roles of Galois connections in classification
    Domenach, F
    Leclerc, B
    EXPLORATORY DATA ANALYSIS IN EMPIRICAL RESEARCH, PROCEEDINGS, 2003, : 31 - 40
12345