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

learn more… | top users | synonyms

1
vote
0answers
25 views

Dual group endowed with the compact-open topology

I wanted to ask a question. Let $G^*$ be the dual group of an abelian topological group $G$ ($G^*$ is defined to be the group of all continuous homomorphisms from $G$ to the circle group $T$). I ...
1
vote
0answers
53 views

Example of Hopf categories and conatural transformation

Let $\mathcal{C}$ be a category. It is well known how to internalize the notion of category. Let $(C_0,C_1)$ be an internal category, with source $s$, target $t$, composition $c$ and unit $e$. One can ...
0
votes
1answer
174 views

How to test if a feasible solution is optimal - Complementary Slackness Theorem - Linear Programming

I have this linear program $$\begin{cases} \text{max }z=&5x_1+7x_2-3x_3\\ &2x_1+4x_2-2x_3&\le8\\ &-x_1+x_2+2x_3&\le10\\ &x_1+2x_2-x_3&\le6\\ &x_1,\,x_2,\,x_3\ge0 ...
3
votes
1answer
120 views

Cohomology with compact support for sheaves in separated schemes of finite type over a Noetherian scheme: three different definitions

usually there are three notions of cohomology with compact (proper) support. The first one usually done in the étale site. However the second one is used in Verdier duality. The third one is done in ...
0
votes
1answer
29 views

Gradient of this function

I am to solve an optimization problem as described below: $$ \min f(x) = \frac{1}{2}\left\lVert x - x_{b} \right\rVert^{2}+ \frac{1}{2}\left\lVert \epsilon \right\rVert^{2}$$ with $$ Hx -y = \epsilon ...
0
votes
0answers
54 views

What's a Schwartz-Bruhat Function

Let $X$ be a locally compact abelian group and $f: X \rightarrow \mathbb{C}$ a continuous map. There are several definitions of what it means for $f$ to be a Schwartz-Bruhat function. If $X = ...
0
votes
0answers
19 views

A Vietoris (hyperspace) functor for commutative unital $C^\ast$-algebras

There is a well known hyperspace functor $V \colon \mathbf{KHaus} \to \mathbf{KHaus}$ on the category of compact Hausdorff spaces. This is defined as follows: For objects $V(X) = \{K \subseteq X ...
1
vote
1answer
27 views

Factoring out the trace of a matrix

This question is related to a derivation step in " A Duality View of Spectral Methods for Dimensionality Reduction" Xiao et al. 2006 When deriving the dual equation for Maximum Variance Unfolding ...
1
vote
1answer
50 views

Gelfand duality restricted to the category of Stone spaces

It is well known that the category of unital commutative $C^\ast$-algebras is dually equivalent to the category $\mathbf{KHaus}$ of compact Hausdorff spaces. I have found that restricting the ...
0
votes
1answer
172 views

Primal feasible solution implies Dual optimal solution?

Every feasible solution of P puts an upper(or lower, depending on whether it is a maximization or minimization problem) bound on the optimal solution of D(assuming of course that D has a feasible ...
0
votes
0answers
38 views

Examples of non-self-dual Hilbert spaces?

I'm looking for some basic examples of non-self-dual Hilbert spaces, as well as basic examples of self-dual complex Hilbert spaces. Concrete examples would be helpful.
1
vote
1answer
24 views

Solving a linear program using just one call to a procedure that gives a feasible solution.

Suppose we have some procedure $F$ which takes any set of linear constraints and either returns either infeasible or returns a vector satisfying these constraints. If we now take a linear program ...
2
votes
1answer
32 views

Dual space of weighted $L^p(\omega)$

Let $\omega \in A_p$, where $A_p$ is the family of Muckenhoupt weights. I'm wondering what is the topological dual space of $L^p(\omega)$. Is it isometrically isomorphic to $L^q(\omega)$? (1/p + 1/q = ...
0
votes
1answer
62 views

dual of $L^\infty$ or $l^{\infty}$ spaces and characters of these spaces

Let $\nu$ be a $\sigma$-additive probability measure on some standard Borel space $(X,\Sigma)$. By Gelfand's transform or by Stone-Cech compactification $L^{\infty}(X,\nu)$ is isomorphic to ...
1
vote
0answers
33 views

Legendre Transform of this function

Is the Legendre-Fenchel transform of $$f(x)=1-\sqrt{1-|x|^2}, x\in B(0,1)\subset\mathbb{R}^n$$ just $$f^*(x^*)=-1+\sqrt{1+|x^*|^2}?$$ I calculated this using the table here ...
0
votes
0answers
29 views

Dual formulation of weak $L^p$

Let $1<p\leq \infty$. Then we have$$||f||_{L^{p, \infty}(X,d\mu)} \sim_psup\{\mu(E)^\frac{-1}{p'}|\int_E f d\mu|:0<\mu(E)<\infty\}$$ Where$||f||_{L^{p, \infty}(X,d\mu)} = ...
0
votes
1answer
98 views

Show both relaxations of boolean LP give equal lower bounds

Given the boolean LP: $$\text{Minimize}\;\; c^Tx$$ $$\text{Subject to}\;\; Ax \leq b$$ $$\hspace{57mm} x_i(1-x_i)=0\;\; i=1,...,n$$ Show that the LP relaxation: $$\text{Minimize}\;\; c^Tx$$ ...
1
vote
1answer
17 views

Dual cone of $K = \{(x,t) \mid \| \boldsymbol{x} \|_1 \le t \}$

This slide shows the dual cone of $K = \{(x,t) \mid \| \boldsymbol{x} \|_1 \le t \}$ is $K^{*} = \{(x,t) \mid \| \boldsymbol{x} \|_{\infty} \le t\}$. Is it right? How is it proved?
1
vote
1answer
34 views

Primal of Dual of LP problem

Given that the following relation holds: $$\begin{align*} &\textbf{Primal problem} \\ &\max Z = c^Tx \\ &s.t. \\ &Ax \leq b \\ & x \geq 0\end{align*}$$ $\Longrightarrow$ ...
2
votes
0answers
24 views

What decides the structure of the dual variables taken in designing min-max type combinatorial optimization algorithms?

There are a bunch of combinatorial optimization problems like min cost flows and min weight perfect matchings that invoke duality and complimentary slackness to improve the primal feasible solution. ...
0
votes
0answers
23 views

Duality of Linear Program

Formulate the dual of the following linear problem: Min $\sum$ $\sum$ $c_{ij}$ $x_{ij}$ s.to $\sum$ $x_{ij}$ - $\sum$ $x_{ji}$ = 0, $\hspace{5mm}$ $x_{ij}$ >= $l_{ij}$ and $x_{ij}$ $\leq$ $u_{ij}$ ...
2
votes
0answers
59 views

Dual Decomposition with multiple coupling constraints

This is probably a a simple question, but have been stuck on this for a while and unable to figure out my issue from the standard Boyd/Vandhenbergen decomposition references. I am interested in dual ...
1
vote
0answers
62 views

Dual of $L^p$ when $p = 0$?

I've spent some time searching for this online - both on this site and elsewhere - and even after consulting a considerable amount of literature, I can't seem to nail down an answer. Perhaps someone ...
0
votes
0answers
25 views

Proving that two problems are strongly dual when solutions are restricted to a space

Consider the following problems with solutions $\mathbf{w}\in\mathbb{R}_{++}^n$ \begin{align} (P) \hspace{.3in} \min_{\mathbf{w}} \hspace{.3cm} & \mathbf{p}^H\cdot\mathbf{w} \\ \text{s.t. } & ...
0
votes
0answers
45 views

Is the dual of this semi-definite problem derived correctly?

I have a very peculiar problem. I have a semi-definite problem. My problem is \begin{align} \min_{t,A}~&t\\ &L>=0\\ &A>=0\\ &A.*M=Y_M\\ &A.*I=I\\ ...
5
votes
0answers
64 views

Alternate proof of a result on dual spaces: what is wrong with it?

I am familiar with Rudin's book's proof of the fact that, in $\sigma$-finite measure spaces and for $p\in[1,+\infty)$, the dual space of $L^p$ is $L^q$ where $p,q$ are conjugate, i.e. ...
1
vote
0answers
33 views

Why is this conic dual problem infeasible?

The problem is: $$\min \ x_2 : Ax -b = [x_1 \ 2x_2 \ x_1]^T \ge_{L^3} 0$$ where $L^m$ is the Lorentz cone. Which I found to have an optimal solution when $x_2 = 0$. I have shown that the conic ...
0
votes
0answers
35 views

If the supremum is finite, then the value is attained.

In a linear programming proof we have the: $\sup\{c^Tx: Ax \le b\}$ This supremem can be $\infty$, or defined as $-\infty$, if there are no vectors x such that $Ax \le b$. But it is stated that ...
0
votes
1answer
55 views

How to show these two problems have equivalent solutions

I have two problems, where $A$ is positive definite: $$\inf \{ x^TAx + b^Tx : 1-x^Tx \ge 0,\ x \in \mathbb R^n\} \ (1)$$ and $$ max_\lambda \ q(\lambda) = -0.25b^T(A+\lambda I)^{-1}b - \lambda : ...
0
votes
0answers
55 views

Sequential compactness in weak topology

When the Banach space $V^*$ is reflexive, we have the unit ball in $V^*$ is weak$^*$ sequentially compact. For a Banach space $V^*$ that might not be reflexive, we have to assume that $V$ ...
3
votes
2answers
98 views

A proof for $\widehat{\Bbb Z_{p^\infty}}\cong Z_p$

According to wikipedia, the Pontryagin dual of a Prüfer group is isomorphic to a group of p-adic integers. Where can I find a proof for it on the internet?
3
votes
1answer
83 views

Can we show it without involving that $V=V^{**}$ are canonically isomorphic?

My text proves the following Theorem. Let $V$ be a vector space over $F$ and $B=\{ v_1, \ldots , v_n \}$ a basis of $V$. Then there is exactly one basis $B^*=\{ f_1, \ldots , f_n \}$ of $V^*$ with ...
4
votes
2answers
95 views

Duality in quadratically constrained quadratic program

I have been given the primal quadratic program with a single quadratic constraint as given below: $$ \text{min} ~~~~~~~~~~~~~~~~~~~~~~~~~ \frac{1}{2}x^{T}Qx $$ \begin{align*} \text{subject ...
2
votes
1answer
40 views

If $X\subset Y$ then $X^*\subset Y^*$

Is the following true, If $X$ and $Y$ are Banach spaces and $X\subset Y$, then $X^*\subset Y^*$. One argument for this is the following let $i:X\to Y$ be the identity map which implies its one to ...
2
votes
1answer
148 views

Examples of double dual spaces

I am looking for examples on double dual spaces. As I know $\ell_p $ is the double dual of $\ell_p$ for $1<p,q<\infty$, $\mathcal L_p $ is the double dual for $\mathcal L_p$ for ...
1
vote
0answers
70 views

Understanding dual spaces

My professor asked me to give him an example about dual spaces from our real life so I was thinking if we take the set of all our actions as the space X can the space of all our thoughts be the dual ...
1
vote
1answer
57 views

Connected Pontryagin dual

The dual group to a compact abelian group is discrete so in particular very much disconnected. I was trying to invent an example of a connected locally compact abelian group with connected dual which ...
0
votes
1answer
30 views

Show that $E^*\neq \{0\}$ iff $E\neq \{0\}$ [closed]

Let $E$ be a vectorspace and $E^*$ be a algebraic dual of $E$. Show that $E^*\neq \{0\}$ iff $E\neq \{0\}$
0
votes
1answer
59 views

Duality Principle in Boolean Algebra - Why do I alway get !F instead of F?

I have the function: F = !(a && d || b || c) Now i apply the duality principle and exchange all * with + ...
0
votes
0answers
30 views

Lefschetz Duality for Simplicial Homology

What are the duality theorems for compact, orientable simplicial complexes (possibly the triangulation of a manifold with boundary)? Is there a good way to calculate this boundary just from a list of ...
0
votes
1answer
43 views

Infinite dimensional transpose?

I know that if $L$ is a linear transformation from $V$ to $W$ where $V,W$ are finite dimensional, then we can conclude that the dimension of image (rank) of $L$ is same as that of its transpose, i.e., ...
2
votes
1answer
83 views

Why the dual of some results are true while others are false?

In mathematics, many results have their "dual" versions. In many cases, if a result is true, then its dual is true as well. However, there are some examples while the dual of a true statement is ...
3
votes
1answer
60 views

Integrals of compactly supported functions of positive type

Consider a continuous function $f: \mathbb{R} \rightarrow \mathbb{R}$, supported on $[-1,1]$, of positive type. Assume $f(0) = 1$; what is the "largest" area $\int f\,dx$ that can be achieved? To be ...
1
vote
0answers
23 views

Show that it is a element of $(H^1(\Omega))'$

Let $\Omega$ a open regular subset of $\mathbb{R}^n$, $n\ge 1$. I want to prove that if $u\in L^2(\Omega)$, the distribution $\partial_{x_i} u $ is an element of $(H^1(\Omega))'$ (for $1\le i \le ...
1
vote
0answers
46 views

Legendre transform and Minimax Theorems.

Denote the class of lower-semi-continuous convex functions $f:\mathbb{R}^n\to \mathbb{R}\cup\{\pm\infty\}$ by $Lscx(\mathbb{R}^n)$ ( so that only function attaining the value $-\infty$ is the constant ...
3
votes
1answer
114 views

Question on how to get back “classical” Serre-duality from its derived functor formulation

I'm really new to derived categories, so i hope this isn't a stupid question. I'm trying to understand how the duality described as for example in Residues and Duality of R. Hartshorne, using the ...
0
votes
0answers
37 views

Second derivative of Bregman divergence

Suppose I define an exponential family distribution: $$ f(x; \theta) = \exp \left( \langle x, \theta \rangle - h(x) - \psi(\theta)\right) $$ where the log-partition function is: $$ \psi(\theta) = ...
1
vote
0answers
94 views

p-direct sum and dual spaces

I have a problem with my assignment of Linear Analysis. It should be rather easy and straight-forward, but I have problems =(. Let E and F be normed spaces. For $p \in [1,\infty]$, define the ...
1
vote
1answer
17 views

Solving the euclidian distance squared to kernelize a Lagrangian dual

Homework question, looking for a hint on the following problem: I'm trying to solve this dual lagranging form (which could potentially be wrong already, but let's assume it is right) $\boldsymbol{x}$ ...
0
votes
1answer
84 views

Dual simplex doubt (unrestricted)

I have this two problems and i only want to find the dual form: $\begin{gather} max\hspace{.1cm}z =5x_1+6x_2\\ s.t\hspace{.1cm}x_1+2x_2=5\\ -x_1+5x_2 \ge 3\\ x_2 \ge 0\\ x_1\hspace{.1cm} ...