scholarly journals LOCAL COMPLETENESS, LOWER SEMI CONTINUOUS FROM ABOVE FUNCTIONS AND EKELAND'S PRINCIPLE

2014 ◽  
Vol 51 (2) ◽  
pp. 437-442
Author(s):  
Carlos Bosch ◽  
Rene Leal
Keyword(s):  
Lower Semi ◽  
Local Completeness

LCDD: Detecting Business Process Drifts Based on Local Completeness

2020 ◽  
pp. 1-1
Author(s):  
Leilei Lin ◽  
Lijie Wen ◽  
Li Lin ◽  
Jisheng Pei ◽  
Hedong Yang
Keyword(s):  
Business Process ◽  
Local Completeness

ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS

2015 ◽  
Vol 8 (2) ◽  
pp. 296-305 ◽  
Author(s):  
NISSIM FRANCEZ
Keyword(s):  
Natural Deduction ◽  
Proof System ◽  
Logical Constants ◽  
Local Completeness ◽  
Definition Of ◽  
The Impact

AbstractThe paper proposes an extension of the definition of a canonical proof, central to proof-theoretic semantics, to a definition of a canonical derivation from open assumptions. The impact of the extension on the definition of (reified) proof-theoretic meaning of logical constants is discussed. The extended definition also sheds light on a puzzle regarding the definition of local-completeness of a natural-deduction proof-system, underlying its harmony.

Convex extensions and envelopes of lower semi-continuous functions

2002 ◽  
Vol 93 (2) ◽  
pp. 247-263 ◽  
Author(s):  
Mohit Tawarmalani ◽  
Nikolaos V Sahinidis
Keyword(s):  
Continuous Functions ◽  
Lower Semi

scholarly journals A Fenchel-Rockafellar type duality theorem for maximization

1979 ◽  
Vol 20 (2) ◽  
pp. 193-198 ◽  
Author(s):  
Ivan Singer
Keyword(s):  
Convex Space ◽  
Duality Theorem ◽  
Locally Convex Space ◽  
Bounded Subset ◽  
Convex Functional ◽  
Lower Semi ◽  
Locally Convex

We prove that sup(f-h)(E) = sup(h*-f*)(E*), where f is a proper lower semi-continuous convex functional on a real locally convex space E, h: E → = [-∞, +∞] is an arbitrary-functional and, f*, h* are their convex conjugates respectively. When h = δG, the indicator of a bounded subset G of E, this yields a formula for sup f(G).

scholarly journals On a new structure of the pantograph inclusion problem in the Caputo conformable setting

2020 ◽  
Vol 2020 (1) ◽  
Author(s):  
Sabri T. M. Thabet ◽  
Sina Etemad ◽  
Shahram Rezapour
Keyword(s):  
Differential Equation ◽  
Inclusion Problem ◽  
Integral Conditions ◽  
Lower Semi ◽  
First Time ◽  
Existence Criteria

Abstract In this work, we reformulate and investigate the well-known pantograph differential equation by applying newly-defined conformable operators in both Caputo and Riemann–Liouville settings simultaneously for the first time. In fact, we derive the required existence criteria of solutions corresponding to the inclusion version of the three-point Caputo conformable pantograph BVP subject to Riemann–Liouville conformable integral conditions. To achieve this aim, we establish our main results in some cases including the lower semi-continuous, the upper semi-continuous and the Lipschitz set-valued maps. Eventually, the last part of the present research is devoted to proposing two numerical simulative examples to confirm the consistency of our findings.

scholarly journals Semi-continuity for total dimension divisors of étale sheaves

2017 ◽  
Vol 28 (01) ◽  
pp. 1750001
Author(s):  
Haoyu Hu ◽  
Enlin Yang
Keyword(s):  
Continuity Property ◽  
Lower Semi ◽  
Total Dimension

In this paper, we extend an inequality that compares the pull-back of the total dimension divisor of an étale sheaf and the total dimension divisor of the pull-back of the sheaf due to Saito. Using this formula, we generalize Deligne and Laumon’s lower semi-continuity property for Swan conductors of étale sheaves on relative curves to higher relative dimensions in a geometric situation.

More on Lower Semi-Continuity

1976 ◽  
Vol 83 (1) ◽  
pp. 39
Author(s):  
Oskar Feichtinger
Keyword(s):  
Lower Semi

scholarly journals On the Continuity of Orthogonal Sets in the Sense of Operator Orthogonality

2018 ◽  
Vol 11 (3) ◽  
pp. 793-802
Author(s):  
Mahdi Iranmanesh ◽  
M. Saeedi Khojasteh ◽  
M. K. Anwary
Keyword(s):  
Numerical Range ◽  
Alternative Definition ◽  
Normed Spaces ◽  
Operator Approach ◽  
Linear Spaces ◽  
Continuity Properties ◽  
Lower Semi

In this paper, we introduce the operator approach for orthogonality in linear spaces. In particular, we represent the concept of orthogonal vectors using an operator associated with them, in normed spaces. Moreover, we investigate some of continuity properties of this kind of orthogonality. More precisely, we show that the set valued function F(x; y) = {μ : μ ∈ C, p(x − μy, y) = 1} is upper and lower semi continuous, where p(x, y) = sup{pz1,...,zn−2 (x, y) : z1, . . . , zn−2 ∈ X} and pz1,...,zn−2 (x, y) = kPx,z1,...,zn−2,yk−1 where Px,z1,...,zn−2,y denotes the projection parallel to y from X to the subspace generated by {x, z1, . . . , zn−2}. This can be considered as an alternative definition for numerical range in linear spaces.

scholarly journals On strictly quasi-Fredholm linear relations and semi-B-Fredholm linear relation perturbations

Filomat ◽  
2017 ◽  
Vol 31 (20) ◽  
pp. 6337-6355 ◽  
Author(s):  
Bouaniza Hafsa ◽  
Maher Mnif
Keyword(s):  
Finite Rank ◽  
Linear Relation ◽  
Linear Relations ◽  
Finite Rank Operators ◽  
Lower Semi ◽  
The Stability

In this paper we introduce the set of strictly quasi-Fredholm linear relations and we give some of its properties. Furthermore, we study the connection between this set and some classes of linear relations related to the notions of ascent, essentially ascent, descent and essentially descent. The obtained results are used to study the stability of upper semi-B-Fredholm and lower semi-B-Fredholm linear relations under perturbation by finite rank operators.

Sign in / Sign up

Export Citation Format

Share Document