Decomposition of semifilters and sequential \(\Gamma\)-limits in completely distributive lattices (Q797168)

This paper deals with the topological fundaments of \(\Gamma\)-convergence theory introduced by \textit{E. De Giorgi} and \textit{T. Franzoni} in Atti Accad. Naz. Lincei, VIII. Ser., Rend., Cl. Sci. Fis. Mat. Natur. 58, 842- 850 (1975; Zbl 0339.49005). After many preliminary concepts the author considers the \(\Gamma\)-limits [see also \textit{E. De Giorgi}, Boll. Un. Mat. Ital., V. Ser., A 14, 213-220 (1977; Zbl 0389.49008)] and \textit{G. Buttazzo}, Boll. Un. Mat. Ital., V. Ser., B 14, 722-744 (1977; Zbl 0445.49016]: \[ \Gamma({\mathfrak A}_ 1^{\alpha_ 1},...,{\mathfrak A}_ k^{\alpha_ k})\lim f= \] \[ =ext^{-\alpha_ k}\{A_ k\in {\mathfrak A}_ k\}...ext^{\alpha_ 1}\{A_ 1\in {\mathfrak A}_ 1\}ext^{\alpha_ 1}\{x_ 1\in A_ 1\}...ext^{\alpha_ k}\{x_ k\in A_ k\}\quad f(x_ 1,...,x_ k) \] where \({\mathfrak A}_ i (i=1,...,k)\) are ''semifilter bases'' on the nonempty sets \(X_ i\) (i.e. \({\mathfrak A}_ i\) is a nonempty family of subsets of \(X_ i\) such that \(\emptyset \not\in {\mathfrak A}_ i)\), \(\alpha_ i\) are the signs \(+\) or - , \(ext^+=\sup\) and \(ext^-=\inf\), and f is a function from \(X_ 1\times...\times X_ k\) into a completely distributive lattice L. By using a decomposition of semifilters with a countable basis into elementary filters (i.e. filers associated to sequences) it is possible to prove that in some cases (but not in general) \(\Gamma\)-limits coincide with \(\Gamma_{seq}\)-limits defined as \[ \Gamma_{seq}({\mathbb{N}}^{\alpha_ 0},{\mathfrak A}_ 1^{\alpha_ 1},...,{\mathfrak A}_ k^{\alpha_ k})\lim f= \] \[ =ext^{\alpha_ 1}\{(x^ 1_ n)\supset {\mathfrak A}_ 1\}...ext^{\alpha_ k}\{(x^ k_ n)\supset {\mathfrak A}_ k\}ext^{-\alpha_ 0}\{m\in {\mathbb{N}}\}ext^{\alpha_ 0}\{n\geq m\}\quad f(n,x^ 1_ n,...,x^ k_ n). \] Finally, generalized Kuratowski limits of sets (here called K- limits) are studied.