Questions tagged [duality]
Use for questions regarding duality of mathematical object, i.e. dual spaces, objects with two possible interpretations etc.
122 questions with no upvoted or accepted answers
1
vote
0
answers
191
views
Dual of union of Reproducing Kernel Hilbert Spaces
I have a union of Reproducing Kernel Hilbert Spaces $\mathcal{B}$. I am interested in finding the dual of $\mathcal{B}$. Knowing what the dual is might help to write an alternate formulation for the ...
- 171
1
vote
1
answer
228
views
Weak duality sign
Let $\left\{\begin{matrix}
\operatorname{min}_xc^Tx\\Ax\leq b
\\ x\in \mathbb{R}^+
\end{matrix}\right.$ be a LP primal problem and $\left\{\begin{matrix}
\operatorname{max}_yb^Ty\\A^Ty\geq c
\\ y\in ...
- 11
1
vote
0
answers
234
views
Dual space of mean-free Sobolev space
I am considering the space $V:=\{v \in H^1(\Omega): \int_\Omega v = 0\}$ of mean free functions. What is the dual space of this space? Is the dual space given by $D:= \{f \in (H^1(\Omega))^*: \langle ...
- 11
1
vote
0
answers
245
views
Dual varieties and nodal sections
Let $X$ be a(n even dimensional) smooth complex projective variety in $\mathbb{P}^N$, and let $X^{\vee}$ be its dual variety; up to an higher degree Veronese embedding of $X$, I assume that $X^{\vee}$ ...
- 828
1
vote
0
answers
303
views
Continuity of the Legendre transform of a Lipschitz function
Let $p > 1$, $f$ defined on $L^p(\mathbb{R}^n,\mathbb{R})$, locally Lipschitz and concave, with $f(x) = 0$ when $x \geq 0$ a.e. We define, with $q$ dual to $p$, for any $y\in L^q$ , $g(y) := \sup_{...
- 31
1
vote
0
answers
49
views
Weakly reflexive algebra vs proper (residually finite-dimensional) algebra
Currently I am reading the book "Hopf Algebras. An Introduction" by S. Dascalescu, C. Nastasescu, S. Raianu. There is a Definition 1.5.20 on page 44 (boldface is mine):
An algebra $A$ is called ...
- 519
1
vote
0
answers
43
views
How do I find the Rockafellar-Fenchel dual derivation of reguarlized objective function?
I'm stuck finding the dual of this optimization problem:
$$ \max_{\tilde{u},\tilde{v}} \int \left( \frac{1}{2}\left\|x\right\|^2 + \tilde{u}(x)\right) \, ds(x) + \int \left( \frac{1}{2}\left\|y\right\|...
- 383
1
vote
0
answers
154
views
Weak$^*$ topology on Bochner $L^p$-spaces
Assume that $X$ is a Banach space such that the dual $X'$ has the Radon-Nikodym property. Moreover let $(\Omega,\Sigma,\mu)$ a say finite measure space. Then we know that for $1\leq p<\infty$ holds ...
1
vote
0
answers
190
views
Is the category of profunctors $Prof(A,B)$ equivalent to $Prof(B,A)^{op}$?
$\def\Prof{\mathsf{Prof}}\def\Set{\mathsf{Set}}\def\tobar{\mathrel{\mkern3mu \vcenter{\hbox{$\scriptscriptstyle+$}}\mkern-12mu{\to}}}$Let $A$ and $B$ be categories. Define a profunctor $A\tobar B$ to ...
- 474
1
vote
0
answers
66
views
Characterization of the weak completion of $L^2(\mathbb{R}^d)$
The completion $\overline{L^2_w(\mathbb{R}^d)}$ of $L^2_w(\mathbb{R}^d)$ (i.e. the completion of $L^2(\mathbb{R}^d)$ endowed with the $\sigma(L^2(\mathbb{R}^d),L^2(\mathbb{R}^d))$ topology) is ...
- 488
1
vote
0
answers
187
views
Strong Duality of Mixed Integer Linear Program
The problem at hand is to optimize a mixed-integer linear program closely related to the maximum flow problem. I would like to reformulate the problem with its dual and I'm concerned with the ...
- 11
1
vote
0
answers
127
views
Proof/reference for a variant of Pontryagin duality
Let $X,X'$ be locally compact abelian groups with a non-degenerate quadratic form
$\left<\bullet ,\bullet \right>\colon X\times X' \to \mu_{l}$,
where $l$ is a prime, and $\mu_l$ the group of $...
- 3,362
1
vote
0
answers
588
views
How is the duality pairing of $H^{1/2}$ and $H^{-1/2}$ defined on a subset of the boundary?
Let $\Omega\in \mathbb{R}^d$,for $d\in \{2,3\}$ be a bounded polyhedral set with $n$ boundary faces labeled $\{e_i\}_{i=1}^n$.
Let $\vec{q}\in H^{\mathrm{div}}(\Omega).$ Given $u\in H^{1/2}(\...
- 142
1
vote
0
answers
48
views
Duality of plurisubharmonic functions
Let $F$ be a cone of upper bounded upper semicontinuous functions on a compact set set $X$ containing all the constants. Let $z\in X $ and define a class of positive measure by $$M_z^F=\{ \mu : u(z)...
- 51
1
vote
0
answers
218
views
Is the closed ball of a normed space closed in any Hausdorff locally convex topology, weaker than the norm topology?
Assume that we have a normed space $X$ and a subspace $Y$ of $X^{*}$ such that $Y^{\perp}=\{0\}$. They form a non-degenerate dual pare.
Moreover, $\|y\|=\sup_{x\in B_{X}}|\langle x,y\rangle|$, where $...
- 11
1
vote
0
answers
116
views
hyperfunctions and analytic duals
Let $A(\mathbb R^n)$ be the real analytic functions and $\mathscr B(\mathbb R^n)$ the hyperfunctions, dual to $A(\mathbb R^n)$. Further let $W\subset \mathbb C$ be a cone in the complex plane with ...
- 113
1
vote
0
answers
78
views
Looking for a uniform explanation of algebras with canonical generators.
Let $\mathcal{V}$ be a finitary variety i.e. the algebras for a signature whose operations have finite arity and for some arbitrary set of equations. Then any algebra $A \in \mathcal{V}$ has a ...
- 1,291
0
votes
0
answers
65
views
Characterization of duals of Sobolev space
Proposition 8.14. in Brezis states that:$(W_0^{1,p} (Ω))^*=W^{-1,p^*} (Ω)$ and we have the representation:
$∀ F∈(W_0^{1,p} (Ω))^* ∃ f_0...f_n ∈L^{p^*} (Ω)$ such that $∀ u∈W_0^{1,p}(Ω)$
$F(u)=∫_Ω ...
0
votes
0
answers
173
views
Is $(K^*)^{**}=(K^{**})^*$ for any cone $K$?
I'm considering the dual cone $K^*$ of a non-convex cone $K$. I came up with a theory that $K^{**}$ is the closure of convex hull of $K$. Then I wonder whether $(K^*)^{**}=(K^{**})^*$ holds for any ...
0
votes
0
answers
124
views
When is the natural map of Tate cohomology an isomorphism?
First of all I want to say that I am not at all an expert in Group cohomology . Recently I attended a seminar where the speaker mentioned about something called Tate cohomology groups which in ...
- 1,215
0
votes
0
answers
59
views
Nests on Banach spaces and their duals
Let $X$ be a Banach space and $\mathcal{E}$ a nest on $X$.
Take $f\in X^{*}$ and suppose:
$N \in\mathcal{E}$ is the largest element of the nest so that $f \in N^\bot$
$N=\bigcap_{M>N}M$
Is there ...
0
votes
0
answers
72
views
Discrete primal-duality in optimization
I would like to inquire about the existence of something perhaps similar to the duality theorem in the convex analysis or convex programming in the discrete setting. Here is a concrete example.
Let $...
- 2,251