For question about the concept of dual, either in the sense of vector spaces, topological group or dual problems.

learn more… | top users | synonyms

0
votes
1answer
48 views

Proof for linearity on tensor products

Theorem: Let $U$ and $V$ be vector spaces. Let $\mathbf{u}^* \in U^*$. Define $\mathbf{f} : U \otimes V \to V$: $$\mathbf{f}\left(\sum_{r} \mathbf{u}_r \otimes \mathbf{v}_r\right) = \sum_{r} ...
0
votes
0answers
16 views

The dual of the space of $p$-locally integrable functions

If $X$ is a space of finite measure, what is the dual space of $L^p _{loc}$ (the space of locally $p$-integrable functions)? When $p=1$, a good answer has already been provided. What is known for $p ...
6
votes
2answers
247 views

What is the interest of duality in algebra, and in general in mathematics?

Before to ask my question I precise I'm a chemist, I ask this question because it makes me crazy to don't understand something I learnt in school. So I had two years ago a small chapter about ...
-1
votes
0answers
7 views

The total number of $n$-variable of boolean functions which are symmetric and self-dual? (For an add integer $n$)

For an odd integer $n$, what is the total number of $n$-variable Boolean functions that are symmetric and self-dual?
0
votes
1answer
42 views

Fenchel Duality in Prof. Bertsekas' lecture

Please see this link, p.39-41 (sufficient to answer my question), before (1.47) for detailed. For convenience, the relevant part is shown as: I am confused in two things: The ...
4
votes
0answers
104 views

When is the Lagrangian dual function smooth?

Consider a nonlinear optimization problem of the form \begin{align} \min_{x}&\quad f(x)\\ \nonumber \text{subject to } \quad&h_i(x) = 0,\,i=1,\ldots,I\\ \nonumber \quad&g_j(x) \le ...
1
vote
1answer
26 views

Defining the dual-comodule of a comodule?

As is well known, every left module has a dual, which is a right module. How does this work for comodules? More explicitly, does there exist a notion of the ...
2
votes
1answer
56 views

Conjugacy relation in the primal and dual problem

The following is my derivation in the Conjugacy relation in the primal and dual problem. I am shaky in it; so hope for some advices. Consider the following problem, $f(x),g(x)$ are convex ...
0
votes
2answers
26 views

Reference Request: Soft handed text on duality theory?

Can anyone recommend a text on duality theory which includes basic formulation of the primal and dual formulation and some introduction to minimax problems? Preferably having some computation in ...
1
vote
2answers
42 views

Dimension of a null-space (Halmos)

I am working on problem 3 from the exercises following the section on Annihilators in the text "Finite Dimensional Vector Spaces". Problem: Prove that if $y$ is a linear functional on an ...
5
votes
1answer
108 views

Duality theory and nonlinear optimization

I have been studying nonlinear optimization recently and have come across some results that I need clarification for. I will do my best to explain them in detail below, providing citations where ...
1
vote
0answers
25 views

Does a zero duality gap imply global optimality?

Let's say we are given a nonlinear optimization primal problem (P). Suppose that the dual problem (D) to the primal optimization problem (P) achieves a zero duality gap with a solution to the primal ...
1
vote
1answer
19 views

Fenchel duality in conic program

The question is from the textbook Convex Optimization Algorithms, prof. Bertsekas, p.511 A special case of Fenchel duality is the following: \begin{equation} ...
3
votes
1answer
31 views

The dual function of composite functions

Given $X$ $Y$ are two finite dimensional Hilbert space. Let $K$: $X\to Y$ be linear and $F$: $Y\to \mathbb R^+$ is convex. Let us use $F^\ast$ to denote the dual (conjugate) function of $F$. Recall $$ ...
2
votes
0answers
51 views

Dual space isomorphism and the dual representation

Let $V$ be a complex finite-dimensional vector space. Then there always exists an isomorphism $V \simeq V^*$, where $V^*$ is the dual space. The isomorphism can be fixed by choosing a non-degenerate ...
3
votes
0answers
73 views

If this problem is not unbounded, what's wrong in this dual derivation?

In a paper with 100 citation, Robust Support Vector Machine Training via Convex outlier Ablation, a convex relaxation is used. In this paper, a form of robust svm proposed: \begin{align} \min_{0\leq ...
0
votes
0answers
41 views

The space of continuous functions as a dual space

Let $X$ be some topological Hausdorff space and $C_b(X)$ the space of bounded complex continuous functions on $X$. Is there a Banach space $B$ such that $B^* \simeq C_b (X)$? I know of a very similar ...
0
votes
0answers
13 views

Question regarding characters and point open topology2

this is a follow-up question for the following one: Dual group of G with point open topology is an intersection of C(G,T) and a closed set In the book of Banaszczyk - "Additive subgroups of ...
2
votes
1answer
98 views

What's wrong in this dual derivation?

I have a function in the form \begin{align} f(q,M)=\sup_{0\leq \alpha \leq 1} -\alpha^T (R\odot M)\alpha+\alpha^Tq \end{align} which is a dual of a minimization problem, where $R$ and $M$ are ...
1
vote
1answer
24 views

$\dim\ker T = \dim\ker T^{\vee}$

Let $V,W$ be vector spaces over $\mathbb{F}$, and $T:V\to W$ a linear map between the spaces. Let $T^{\vee}:W^{\vee}\to V^{\vee}$ denote the dual map of $T$ ($V^{\vee}, W^{\vee}$ are the dual ...
1
vote
1answer
41 views

Dual Core in Cooperative Game Theory

I'm a bit confused over if the dual core of a game is the same as the core of the original game. Definition of dual game: $$ v^*(S) = v(N) - v( N \setminus S ), \forall~ S \subseteq N.\, $$ I then ...
0
votes
0answers
14 views

How can we constrain lagrange multipliers in svm dual by adding constraints in primal problem?

Consider svm-dual,i.e., \begin{align} &\text{maximize} \sum_{i=1}^n \alpha_i-\frac{1}{2\lambda} \sum_{i,j=1}^n \alpha_i \alpha_j y_i y_j K(x_i,x_j)\cr &\text{subject to, } 0\leq \alpha_i ...
2
votes
2answers
31 views

What is the intuition behind Gordan's theorem?

Gordan's theorem: Exactly one of the following has a solution: $y^TA > 0$ for some $y \in \mathbb R^m$ $Ax = 0$ ;$ x \geq 0$ for some non-zero $x \in \mathbb R^n$ I am not looking for the ...
0
votes
0answers
28 views

Why L belongs to the dual space $H^{-1}$

I'm studying pde using Evans book. In chapter 6 he introduces second order partial differential operators for example : $L= \sum{D_i(a_{ij}D_j(u))+\sum{b_iD_i(u)+cu}}$ I can't understand why $L \in ...
0
votes
0answers
10 views

Duality gap analysis

I solved a non-linear non-convex optimization problem via dual decomposition optimization using sub-gradient method. (my main goal is to solve the problem in a distributed way). I solve the same ...
0
votes
0answers
13 views

Application of projective duality

What are the applications of the projective duality principle in another scientific areas such as Physics and Chemistry?
2
votes
2answers
20 views

Example of a weakly separable normed space that is not norm separable

I am looking for an example of a normed space which is separable with respect to the topology induced by all continuous linear functionals, but not separable with respect to the norm topology.
0
votes
0answers
12 views

what is the dual problem of finding chebyshev's center?

let $a_j$ $(j=1,...,m)$ be a set of points in $R^2$. The problem of finding Chebyshev's center is: min r s.t. $norm(x-a_j)<=r$ $(j=1,...,m)$ Where r is the maximal radius and x is the center ...
1
vote
0answers
20 views

Max-flow-min-cut using LP duality

https://www.cs.oberlin.edu/~asharp/cs365/papers/Approximation-ch12.pdf is a chapter from Vazirani that discusses max cut-min flow using LP duality. The binary min-cut problem is: \begin{align} ...
1
vote
1answer
25 views

Showing that compact metrizable abelian group has enough characters

I wanted to know if anybody has some clue as why a compact metrizable abelian group has enough characters to sepatare points. (a character on a topological group is a continuous homomorphism from the ...
0
votes
0answers
14 views

Inner product space of continuous functions, showing inexistence

Let $E$ be the inner product theorem of the Continuous functions over the interval $[a,b]$, with the inner product $(x,y)=\int_a^b x(t)y(t)dt$. Fix $c\in [a,b]$, and let $f_c\in E^*$ such that ...
2
votes
0answers
35 views

Characterization of Bochner dual

I want to prove following theorem Let X be separable and reflexive Banach space, $1<p<\infty$ than $$ L^p((0,1),X)^* = L^q((0,1),X^*) $$ where $\frac1{p}+\frac1{q} = 1$, with ...
1
vote
0answers
44 views

What is the right (a good) definition for a dual monoid?

Suppose we have the free abelian monoid $S = \{a^m : m \in \mathbb{N}_0\}$ on the set of one element $X = \{a\}$. The binary operation on the monoid is denoted by $\cdot$. If $(T,\ast)$ is another ...
0
votes
1answer
37 views

Two duality theorems

Suppose $X$ is a Hilbert space with norm $||.||$ and $K$ is a weak compact and convex subset of $X$. The supporting functional: $$h(x^*)=\sup_{x\in K} \langle x^*, x \rangle$$ The indicator ...
0
votes
0answers
27 views

Conic Optimization

In a recent paper, Conice Optimization via Operator Splitting and Homogeneous Self-Dual Embedding, a primal of the form \begin{alignat}{3} &\text{minimize} &&c^T x\cr ...
4
votes
1answer
57 views

How to prove that $(C[a,b], \|\cdot\|_\infty)$ is not a reflexive Banach Space [duplicate]

The tag line basically says it all...this is a question in Luenberger's Optimization book (5.14.4 on p.138). Clearly I don't expect someone to deliver a full proof if it's tedious, but a sketch or ...
3
votes
0answers
36 views

Proof of Alexander Duality on Bredon - help with a passage

At page 353 of Bredon's Topology and Geometry, there is stated the Alexander Duality as Corollary $8.7$. I don't understand where does the upper row come from and why is it exact. I thought it was ...
0
votes
1answer
55 views

Gradient of a Lagrange dual function

Consider: $$\min_{x \in \mathbb{R}^n} f(x)$$ $$\ \ \ \ \ \ \ \text{s.t. }\ h(x) \leq 0$$ Lagrangian:$\ \ \ L(x,\lambda) = f(x) + \lambda h(x)$ Suppose $x^* = \arg\min_{x} L(x,\lambda)$ ...
0
votes
2answers
69 views

Prob. 8, Sec. 2.10 in Erwine Kreyszig's INTRODUCTORY FUNCTIONAL ANALYSIS WITH APPLICATIONS: The dual space of $c_0$ is $\ell^1$?

Let $c_0$ be the subspace of $\ell^\infty$ consisting of all sequences of (real or complex ) numbers converging to $0$. How to prove that the dual space of $c_0$ is (isomorphic to) $\ell^1$? My ...
0
votes
0answers
30 views

Filter,dual ideal,definition of $\liminf_I \lambda$

We have this http://shelah.logic.at/files/506.pdf definition of $\lim \inf_I \bar{\lambda}$ in 1.1(3): for $I$ a filter on $\kappa$ let $I^+=2^\kappa \setminus I$.$$\lim \inf_I ...
1
vote
1answer
29 views

Is it necessary to use the Hahn-Banach theorem to show that $(X/M)^*\simeq M^\perp$?

Let $X$ be a Banach space with dual space $X^*$, and let $M$ be a closed subspace of $X$. Then $M^\perp=\{x^*\in X^*: x*(m)=0 \text{ for all } m\in M\}$ is a closed subspace in $X^*$. I read the ...
1
vote
1answer
63 views

Prove that the dual -space of the dual-space of V is isomorphic to V without using bases

Given a vector space $V$ the dual space $V^*$ is the space of all linear operators from $V$ to $\mathbb{C}$. $V^*$ is itself a vector space and I know how to prove $V \cong (V^*)^*$ by using a ...
0
votes
2answers
51 views

Proof that $V^*$ is isomorphic to $V$.

In my notes for a linear algebra course there is proof that $V^*$ is isomorphic to $V$. However I am unclear on a few of the steps. We begin by choosing a basis $B = \{v_1,...,v_n\}$ for $V$. We now ...
0
votes
0answers
23 views

A question involving duality maps

Show that if X is an infinit dimensional and smooth Banach space, then there are no compact duality maps on X. Can someone, please, give me a hint on how to deduce this from the following fact: Let ...
0
votes
2answers
83 views

How to compute primal variable based on dual variables and their multipliers

I edited this question based on information I got from comments. Assume we have an optimization problem (primal problem). we solve it's dual using some kind of primal-dual interior point solver. So, ...
0
votes
1answer
42 views

Is the normalized duality mapping symmetric?

In the area of functional analysis, nonlinear operator theory, the normalized duality mapping on a Banach space $X$ is a set valued map from $J:X\rightarrow 2^{X^*}$ given by \begin{align} ...
4
votes
0answers
49 views

Equivalence of categories ($c^*$ algebras <-> topological spaces)

I try to use a littlebit category theory to have a better overview of the results in the theory of $c^*$-algebras, but I really have to read an introduction to category theory because I know almost ...
-1
votes
2answers
64 views

Does this hold for $p=\infty $, i.e., is it true that $(l^{\infty})'= l^1? $ [closed]

Let $E=l^p$ where $1 \le p < \infty $ we know $E'=l^q$ Where $q$ is the dual exponent of $p$, i.e. $q$ is such that $\frac{1}{p}+\frac{1}{q}=1$ Does this hold for $p=\infty $, i.e., is it true ...
4
votes
2answers
52 views

Some lengthy question on natural transformations, category theory, and dual objects

So I am fairly new to algebra, and my instructor often uses terms from category theory (such as Hom-set, natural transformations, etc) that I am not familiar with. As an attempt to have a better ...
1
vote
0answers
72 views

Three theorems for the price of one? (like duality)

Why the notion of "duality" (when we get two theorems for the price of one) are ubiquitous in mathematics (order and lattice theory, category theory, group theory), but "triality" (three theorems for ...