All Questions
5,871 questions
0
votes
0
answers
157
views
Matrices satisfying certain pair-wise constraints
Consider given pairs of variables: $a_{ir1},a_{ir2}\in \mathbb{R}^{m \times m}$ and $a_{jr1},a_{jr2}\in \mathbb{R}^{m \times m}$, where $r \in \{1,2,\cdots,t\}$, consider the constraints:
$\sum_{r=1}^...
- 13.9k
14
votes
1
answer
4k
views
Do these matrix rings have non-zero elements that are neither units nor zero divisors?
First, a disclaimer: This is a repost of a question I asked on stackexchange (no answer there).
Let $R$ be a commutative ring (with $1$) and $R^{n \times n}$ be the ring of $n \times n$ matrices with ...
CommunityBot
- 1
3
votes
3
answers
522
views
Closure of singular points
Let $f(x,y)$ be a complex degree $d$ polynomial that has this particular
form.
$$ f = \frac{f_{02}}{2} y^2 + \frac{f_{21}}{2} x^2 y +
\frac{f_{12}}{2} x y^2 + \frac{f_{03}}{6} y^3 + \frac{f_{40}}{...
- 1,811
5
votes
2
answers
560
views
implicit function theorem for algebraic sets
We know by the standard Implicit Function Theorem that
If $f:\mathbb R^4\rightarrow\mathbb
> R^2$ is a polynomial (or in fact any
continuously differentiable function),
then there is a ...
- 1,359
1
vote
1
answer
224
views
Can symmetrizing a contraction increase the speed of convergence?
Dear community,
I have a problem which is very simple to state but seems to be hard to answer.
Statement of the problem
Let $f$ and $g$ be two symmetric, real functions in $n$ and $m$ variables, ...
- 199
2
votes
1
answer
942
views
A singular value inequality
Let $s_1,s_2: \mathbb{R}^{2\times 2} \mapsto \mathbb{R}_+$,
$s_{1}\left(\cdot\right)\ge s_{2}\left(\cdot\right)\ge 0$, be the
singular values of a $2\times2$ matrix. Is it true that
$$\left|s_{1}\...
- 28.6k
0
votes
0
answers
165
views
minimizing the integral of a function over square sets.
Hi!
I'm interested in some problems, but to be honest i'm not sure of the field they belong to.
Let $h(x,y)$ be a bivariate function on $X^2$, where $X$ is some nice topological space (for instance $...
- 1,352
9
votes
2
answers
2k
views
Does the Weierstrass function have a point of increase?
Problem
The Weierstrass function $W(x)$ is given by
$W(x)=\sum_{n\geq 0} a^n \cos(b^n \pi x)$
where $0< a <1$ and $b$ is an odd integer such that $ab > 1+3\pi/2$.
A function $f:\mathbb{R}\...
- 39.9k
-3
votes
1
answer
332
views
Convergence Question [closed]
If $\alpha _{n}\rightarrow \alpha$, then how does one show that for any j=1,2,... and $\epsilon> 0$, if $sup\int \left | x \right |^{j+\epsilon }d\alpha _{n}<\infty$, then $\int x^{j}d\alpha _{n}...
6
votes
2
answers
2k
views
Continuity of a convolution (Version 2)
Hello,
This problem bothers me for some time. Suppose that
$\mu$ is a non-negative Radon measure (or positive linear functional of the space of continuous functions with compact support);
$\psi$ is ...
- 1,649
2
votes
3
answers
913
views
A definite integral
Hello,
I am trying to find an explicit form of the following definite integral. I have tried Mathematica and it failed to give an answer. I am wondering whether anyone knows this integral. It might ...
- 1,649
6
votes
2
answers
2k
views
How to prove the Hahn-Banach constructively
I am just wondering, how to prove the Hahn-Banach theorem constructively for a finite dimensional normed vector space.
Thanks in advance for any helpful answers.
- 2,135
10
votes
1
answer
1k
views
Real analytic function, injective, non surjective and preserving the rationals ?
I'd like to prove the non-existence of a real analytic function, injective, non-surjective
that sends rationals to rationals.
Is it a classical result ? If not, any hints on how to prove it ?
Thanks ...
CommunityBot
- 1
4
votes
2
answers
323
views
Is there a sufficient criteria to guarantee that $\lim_{n} a_{nn} = \lim_{m} \lim_{n} a_{mn}$ ?
Let $a_{mn}$ be a sequence in some $\mathbb{R}^k$. We know in advance that
$$\lim_{n} ~a_{nn} = L_1, \qquad
\lim_{m}~ \lim_{n} ~a_{mn} = L_2 $$
exist. Is there a sufficient criteria to conclude ...
- 4,729
2
votes
1
answer
276
views
Conformal Extension from a closed set to open
Let $Q = \{(x,y): x,y\geq 0\} $ be the 1st quadrant of $\mathbb R^2$, and $f$ is a function defined on it such that all the partial derivative(any order) of $f$ exists and continuous. By Whitney ...
- 108k
3
votes
0
answers
237
views
Monotonicity of a certain parametric integral
I would like to ask for some help (hints, ideas) in solving the following problem:
Given integer $n>0$ and real $\alpha>0,\beta>1$ we want to show, that
if we define for any $x\in\mathbb{R}...
- 696
0
votes
2
answers
415
views
Commutative *-subrings of the noncommutative C*-algebra $B(l^2)$
A $\star$-ring is a ring with an involutive anti-automorphism. The simplest example of a noncommutative $\star$-ring is perhaps $B(l^2)$, the ring of bounded linear functions on the sequence space $l^...
- 25.5k
1
vote
0
answers
346
views
Gauge integral of the derivative of a function except on a set of measure 0.
For the entire question, the interval I am integrating over is $[0,1]$.
Background: In order to exhibit an isometry from $L^2[0,1]$ into $l^2$, I need to either assume absolute continuity over some ...
- 783
8
votes
2
answers
471
views
Multiplying functions on the unit square as generalized matrices
Consider the $\mathbb{R}$-vector space of sufficiently nice real-valued functions on the unit square $I^2$, where "sufficiently nice" could be taken to mean any one of a number of things - say ...
- 3,908
4
votes
1
answer
561
views
Taylor Series Remainder
Suppose I have a $C^\infty$ smooth function $f$ defined on the reals.
I can apply Taylor's formula and get the local expression
$$
f(x) = \sum_{i=0}^l\frac{f^{(i)}(0)}{l!}x^i+ f^{(l+1)}(\xi(x))x^{l+...
- 60.5k
4
votes
1
answer
1k
views
Hausdorff dimension of graphs .
Is there an easy way to calculate the Hausdorff dimension of the graph of a real "elementary" function, like $f(x)=\sin(1/x)$ ?
- 7,857
4
votes
1
answer
222
views
a closed-form for mean/integral, but weighting positive differences between values and "mean" differently from negative differences?
Given a curve $f(x)$ (for $x \in [0,1]$), and a line $y=a$, let $U$ be the total area below $f$ and above $a$, and let $L$ be the total area above $f$ and below $a$. If $L=U$, this means that $a =\...
- 44.4k
4
votes
1
answer
306
views
ordered fields with the bounded value property, without choice
In his answer to my question ordered fields with the bounded value property, Ali Enayat showed that if one assumes the countable axiom of choice, then there exists a non-Archimedean ordered field $F$ ...
CommunityBot
- 1
6
votes
2
answers
5k
views
Periodic matrices
A square matrix $M$ such that $M^{k+1}=M$, for some positive integer $k$, is called a periodic matrix.
Can we characterize the periodic matrices in $\mathcal{M}_n(\mathbb{Z})$?
If we replace $\mathbb{...
CommunityBot
- 1
5
votes
1
answer
878
views
Numerically finding a Mercer expansion for a given covariance kernel
Let $c(r)$ be a nice, continuous function with compact support. For example, $c(r) = \tfrac 1 5 (1-r)^{11} \big( 5 + 55r + 239 r^2 + 429 r^3 \big)$ for $r \in [0,1]$, and $c(r) = 0$ otherwise.
On ...
- 256
3
votes
2
answers
949
views
Reference for proof that $C_b^* = rba$
The following theorem seems to have folk status:
The topological dual of the space $C_b(X)$ of bounded continuous functions on a topological space $X$ is isomorphic to the space $rba(X)$ of finite, ...
CommunityBot
- 1
4
votes
2
answers
2k
views
a different nested intervals theorem
Is there any literature on (and a standard name for) the proposition that for any arbitrary-cardinality collection of closed intervals in the reals that is nested (in the sense that, given any two of ...
- 768
2
votes
2
answers
643
views
Estimating the Hausdorff measure of a subset of the sphere
Let $f: S^{n-1}\to \mathbb{R}$ be a continuous function ($S^{n-1}\subset \mathbb{R}^n$ is the unit sphere), $f(a)>0$ and $f(b)<0$ for certain points $a,b\in S^{n-1}$. By continuity these ...
- 32.4k
3
votes
1
answer
1k
views
ordered fields with the bounded value property
Say that an ordered field $F$ satisfies the bounded value property if, for all $a < b$ in $F$ and for every continuous function $f$ from $[a,b]_F := ${$x \in F: a \leq x \leq b$} to $F$, there ...
- 17.7k
8
votes
3
answers
786
views
truth vs. provability for ordered fields
In Propositions equivalent to the completeness of the real numbers I started by asking "Can anyone point me to a reasonably comprehensive article (or book chapter) explaining which basic theorems of ...
CommunityBot
- 1
1
vote
1
answer
741
views
Some infinite products related to prime numbers.
Let $P$ be the set of all odd prime numbers. I am looking for all $s\in(1,\infty)$ for them
$
A=\prod_{p\in P} (1+\frac{1}{(p-1)^s})^{p-1}
$
exists (i.e. is finite). I know that it should be ...
7
votes
1
answer
1k
views
Can a continuous, nowhere differentiable function have specified "shape" at every point?
I'm a bit embarrassed to admit that:
a) This is a rather unmotivated question.
b) I can't remember whether or not I've asked this before, but searching doesn't seem to turn anything up so ...
...
- 558
4
votes
2
answers
607
views
Invertible elements in monoid rings of unital monoids without non-trivial invertible elements
This question is somewhat related to Tilmans notorious problem in this post. Let $(M,\cdot)$ be a monoid with unit $1$ and set
$$(M,\cdot)^{\times} := \lbrace x \in M \mid \exists y \in M : xy=yx=1 \...
CommunityBot
- 1
2
votes
2
answers
1k
views
Characterization of Weakly measurable functions
I wonder if we can characterize weak measurability of a function taking values in a Banach space using sequence of step functions (functions that have finite range) just like how we define strong ...
- 60.5k
2
votes
1
answer
292
views
nth-powers and degree n polynomials with coefficients in field extensions
Hi,
Suppose that $E/F$ is a Galois extension. If $P(X)\in E[X]$ is a (EDIT: monic) polynomial of
degree $n > 0$, such that $P(X)^n\in F[X]$, does it follow that $P(X)\in F[X]$?
Thanks
- 2,842
12
votes
1
answer
898
views
Converse to Banach’s fixed point theorem for ordered fields?
Suppose $R$ is an ordered field. Call a continuous map $f: R \rightarrow R$ a contraction if there exists $r < 1$ (in $R$) such that $|f(x)-f(y)| \leq r |x-y|$ for all $x,y \in R$ (where $|x| := \...
CommunityBot
- 1
7
votes
3
answers
3k
views
incompleteness in real analysis
Godel's theorem tells us that any sufficiently powerful consistent formal theory of the integers is incomplete; but what about formal theories of the real numbers? More precisely, what about theories ...
CommunityBot
- 1
11
votes
3
answers
3k
views
Is the supremum of continuous functions integrable?
Let $f_\alpha$ be a family of continuous positive functions $\mathbb R\to \mathbb R$
where the index $\alpha$ runs in a compact metric space
and the map $\alpha\to f_\alpha$ is continuous
with ...
- 29.8k
6
votes
3
answers
11k
views
Sums of uncountably many real numbers [closed]
Suppose $S$ is an uncountable set, and $f$ is a function from $S$ to the positive real numbers. Define the sum of $f$ over $S$ to be the supremum of $\sum_{x \in N} f(x)$ as $N$ ranges over all ...
CommunityBot
- 1
0
votes
1
answer
604
views
Find a explicit choice function of the "rationally equivalence class"
Define two real numbers to be rationally equivalent provided their difference is a rational number.
from Royden Real Analysis
- 73.2k
3
votes
1
answer
303
views
ABA-product of matrices and length of chains of principal inner ideals
Let $k$ be a field, $p,q$ positive integers, and let $R$ be the space of $(p \times q)$-matrices over $k$, and $S$ be the space of $(q \times p)$-matrices over $k$. For every matrix $A \in R$, we ...
- 6,919
3
votes
0
answers
474
views
Jacobson-Bourbaki correspondence
The Jacobson-Bourbaki correspondence induces the traditional, finite Galois correspondence by suitable restriction; I've been pondering two things: 1. Are there any (other) interesting applications of ...
- 52.9k
3
votes
0
answers
473
views
Infinite Galois correspondence "according to Artin"
Ever since Artin's lectures on Galois Theory one knows how to set up and derive the usual Galois correspondence in the finite(-dimensional) case using just a bit of elementary Linear Algebra, and ...
4
votes
0
answers
162
views
Symmetric functions and regularity (II)
My previous question (where $n=2$) was a bit too naive. I think that this one, which is the one being of genuine interest to me, is more involved.
Let $f=\mathbb R^n\rightarrow\mathbb R$ be a ...
CommunityBot
- 1
5
votes
1
answer
316
views
Symmetric functions and regularity
Let $f:\mathbb R^2\rightarrow\mathbb R$ be a symmetric function: $f(y,x)=f(x,y)$. It can therefore be written has a function of the elementary symmetric polynomials, here $f(x,y)=F(x+y,xy)$, where $F(\...
- 19.6k
4
votes
3
answers
422
views
probability that a random element of Z/NZ can be written as a subset sum of others
How could one calculate the probability that any element in $\mathbb{Z}/N\mathbb{Z}$ can be written as a subset sum of $n$ random elements in $\mathbb{Z}/N\mathbb{Z}$?
In other words, say I pick $n$...
- 30.1k
3
votes
1
answer
218
views
decompositions of matrices over $\mathbb{Q}$
Given a matrix $A\in GL_n(\mathbb{Q})$. Can it be expressed as a product of two matrices $B,C$ with $B\in GL_n(\mathbb{Z}[1/p])$ and $C\in GL_{n}(\mathbb{Z}_{(p)})$, where $ \mathbb{Z_p}$ denotes the ...
- 20.8k
2
votes
0
answers
520
views
Eigenvector of infinite matrix
I consider the system of reaction-diffusion PDEs in a ball
with Robin boundary condition.
It is a Steklov eigenvalue problem
(see G Auchmuty (2004) "Steklov eigenproblems and the representation
of ...
- 31
0
votes
1
answer
1k
views
A question about regular signed or complex Borel measure under LRN decomposition
Suppose $\nu$ is a regular signed or complex Borel measure on $\mathbb R^n$, m is the Lebesgue measure on the class of Borel sets $\mathcal B_{\mathbb R^n}$ and the Lebesgue-Radon-Nikodym ...
- 981
3
votes
2
answers
344
views
Pseudo-idempotent matrix generating a free module
Let $R$ be a commutative ring with $1$. Let $n$ and $k$ be nonnegative integers, and let $A\in\mathrm{M}_n\left(R\right)$ be a matrix such that $A\cdot R^n\cong R^k$ as $R$-modules. Assume that $A^2=\...
- 6,919