I have been self-studying Proximal Algorithms by Neal Parikh and Stephen Boyd. It provides a definition of closed proper convex functions without any examples. The definition is given below. Convex and proper seem clear to me. However, I am not sure how to check for closeness. Does continuous imply closeness? I wonder if $l_1$ norm is a closed proper convex function? What about $\| \Sigma x\|_1$ for some positive semidefinite $\Sigma$? Thank you so much!
2026-03-25 23:16:02.1774480562
Example for closed proper convex function
634 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in OPTIMIZATION
- Optimization - If the sum of objective functions are similar, will sum of argmax's be similar
- optimization with strict inequality of variables
- Gradient of Cost Function To Find Matrix Factorization
- Calculation of distance of a point from a curve
- Find all local maxima and minima of $x^2+y^2$ subject to the constraint $x^2+2y=6$. Does $x^2+y^2$ have a global max/min on the same constraint?
- What does it mean to dualize a constraint in the context of Lagrangian relaxation?
- Modified conjugate gradient method to minimise quadratic functional restricted to positive solutions
- Building the model for a Linear Programming Problem
- Maximize the function
- Transform LMI problem into different SDP form
Related Questions in CONVEX-ANALYSIS
- Proving that: $||x|^{s/2}-|y|^{s/2}|\le 2|x-y|^{s/2}$
- Convex open sets of $\Bbb R^m$: are they MORE than connected by polygonal paths parallel to the axis?
- Show that this function is concave?
- In resticted domain , Applying the Cauchy-Schwarz's inequality
- Area covered by convex polygon centered at vertices of the unit square
- How does positive (semi)definiteness help with showing convexity of quadratic forms?
- Why does one of the following constraints define a convex set while another defines a non-convex set?
- Concave function - proof
- Sufficient condition for strict minimality in infinite-dimensional spaces
- compact convex sets
Related Questions in CONVEX-OPTIMIZATION
- Optimization - If the sum of objective functions are similar, will sum of argmax's be similar
- Least Absolute Deviation (LAD) Line Fitting / Regression
- Check if $\phi$ is convex
- Transform LMI problem into different SDP form
- Can a linear matrix inequality constraint transform to second-order cone constraint(s)?
- Optimality conditions - necessary vs sufficient
- Minimization of a convex quadratic form
- Prove that the objective function of K-means is non convex
- How to solve a linear program without any given data?
- Distance between a point $x \in \mathbb R^2$ and $x_1^2+x_2^2 \le 4$
Related Questions in PROXIMAL-OPERATORS
- Proximal Operator of Summation of $ {L}_{1} $ Norm and $ {L}_{2, 1} $ Norm
- Prox Operator of a First Order Perturbation (Adding Linear Term to the Function)
- Proximal Operator / Mapping Intuition and Practical Example
- How to Solve Linear Least Squares with Unit Simplex Constraint
- Proximal Operator of Huber Loss Function (For $ {L}_{1} $ Regularized Huber Loss of a Regression Function)
- Can the Proximal Operator Have Discontinuity?
- Why Is the Proximal Mapping (Proximal Operator) a Mapping?
- Gradient of Moreau Envelope
- Why Is the Proximal Operator Well Defined?
- Proximal Operator / Mapping of Multiplication of Two Matrices
Related Questions in CLOSED-GRAPH
- Why can we assume that the range of the generator of a $C_0$ semigroup is already the full space?
- What is the closure of the level set of convex function $g(x):R^n\rightarrow R,$ $\{x:g(x)<a\}$.
- Regular Set of a closed Operator
- Closed graph theorem seems to state that a closed operator has to be bounded?
- A problem on Closed Graph Theorem
- Show that Identity is closed but not continuous
- A linear operator with a closed graph that is not bounded.
- Closed operator, closed graph
- About Closed Graph Theorem for conjugate linear map
- To show Maps are closed .Closed Graph theorem
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?

Yes, continuity implies closedness. If $f : \Bbb{R}^n \to \Bbb{R}$ is continuous, then the map $$g : \Bbb{R}^n \times \Bbb{R} \to \Bbb{R} : (x, y) \mapsto y - f(x)$$ is continuous, and the inverse image of the closed set $[0, \infty)$ is the epigraph of $f$, which therefore must be closed.
It's also true that, in finite-dimensions, if $f$ is closed and $x$ lies in the (algebraic) interior of the domain of $f$, then $f$ must be continuous at $x$. So, closedness differs from continuity primarily at the boundary of the domain. Note that continuity kind of "breaks down" at these points in the traditional sense, since there are points with infinite values in the vicinity.
In particular, this means that for convex functions with full domain, being closed and continuous are equivalent! This includes all the examples you specified.
As for an example of a closed, proper convex map without full domain, you could take $$f : \Bbb{R} \to \Bbb{R} \cup \{\infty\} : x \mapsto \begin{cases} x^2 & \text{if } x \ge 0 \\ 0 & \text{otherwise.} \end{cases}$$ But, if you increase the value at $0$, e.g. $$g : \Bbb{R} \to \Bbb{R} \cup \{\infty\} : x \mapsto \begin{cases} x^2 & \text{if } x > 0 \\ 4 & \text{if } x = 0 \\ 0 & \text{otherwise,} \end{cases}$$ then you get a convex function that is not closed. If you draw the epigraph, you'll notice that the line segment from $(0, 0)$ to $(0, 4)$ is in the boundary of the epigraph, but not in the epigraph itself (except the point $(0, 4)$).