« first day (2692 days earlier)      last day (703 days later) » 

2:04 AM
1
Q: How do you call a scaled orthogonal map?

M. WinterHow do you call a linear map of the form $\alpha X$, where $\alpha\in\Bbb R$ and $X\in\mathrm O(V)$ is an orthogonal map ($V$ being some linear space with inner product)? Are there established names, historical names, some naming attempts that haven't caught on? "Conformal" aka. "angle-preserving"...

1
Q: Estimation of the expected number of sites visited by i.i.d

Raphaël KalfonLet $X_1,X_2,...$ be i.i.d variables with value in $\mathbb{N}$ (not necessarily finitely supported). Suppose $E(X_1) < \infty$. Denote : $$R_n = \textbf{Card}\{X_1,...,X_n\}$$ I must prove that $E(R_n) = o(\sqrt{n})$, but do not really know how to proceed. Does anyone have a hint :)? Many thanks !

 
3:04 AM
1
Q: Derived Hom without injectives nor projectives

StabiloI am stuck with the following farce on derived Homs. I have an abelian category $A$ and I showed that, given any two objects $X$ and $Y$ of $A$, the group of $1$fold extensions $\operatorname{Ext}^1_{A}(Y,X)$ is nonzero whenever both $X$ and $Y$ are nonzero. This yields that any injective (resp. ...

 
 
1 hour later…
4:20 AM
2
Q: Contradiction of axioms of real numbers

MaxwellI am just starting out in real analysis, so please bare with me. My questions concerns three specific properties of the real numbers, at least as far as i understand them. Those are: The natural numbers $\mathbb{N}$ are a subset of the real numbers $\mathbb{R}$. The real numbers $\mathbb{R}$ hav...

 
 
6 hours later…
10:34 AM
4
Q: Does this system admit non-trivial rational solutions?

TurboConsider the quartic system in four variables $a,b,c,d\in\mathbb R$: $$-(c^2-d^2)(a^2-b^2)=2(ad-bc)(bd+ac).$$ Does this system admit rational solution with $$abcd(ad-bc)(bd+ac)(c^2-d^2)(a^2-b^2)(a^2-c^2)(b^2-d^2)\neq0?$$ Is there any easy way to compute for rational solution?

 
11:04 AM
1
Q: Can a doubly periodic function be locally univalent?

studentI am looking for a meromorphic doubly periodic function such that the function is locally univalent. A standard meromorphic doubly periodic funtion is the Weirestrass $\wp$ function, defined as $$\wp(z):=\frac{1}{z^2}+\sum_{\lambda \in \Lambda \setminus\{0\}}\left(\frac{1}{(z-\lambda)^2}-\frac{1}...

 
 
3 hours later…
2:22 PM
4
Q: Contracting a set to a ball

Iosif Pinelis$\newcommand\R{\mathbb R}\newcommand\S{\mathbb S}$ Question 1: Let $S$ be a nonempty measurable subset of $\R^n$. Let $B$ be a closed ball in $\R^n$ such that $m(B)=m(S)$, where $m$ is the Lebesgue measure. Is there a bijective $1$-Lipschitz map from $S$ onto a dense subset of $B$? Question 2:...

 
 
2 hours later…
4:34 PM
1
Q: Measurability of a net

A beginner mathmaticianLet $(f_\epsilon)_{\epsilon>0}$ be a family of positive measurable functions on $L_p(\mathbb R)$ where $1<p<\infty.$ Assume that the pointwise supremum $f^*(x)=\sup_{\epsilon>0}|f_\epsilon(x)|$ is in $L_p(\mathbb R).$ Define $F:\mathbb R\to \ell_{(0,\infty)}^\infty$ defined by $F(x)=(f_{\epsilon}...

 
 
2 hours later…
7:02 PM
3
Q: A number theory question that is probably wrong

Pulkit SabharwalProve that $a^3-b^3 = 2011$ has no integer solutions. I think the question is wrong as $a^3-b^3 = 2011$ $(a-b)(a^2+ab+b^2) = 2011$ As $2011$ is prime so the only factors $2011$ has are $1$ and $2011$ itself. So if $a-b = 1$ and $a^2+ab+b^2 = 2011$ , then we can say that $a^2-2ab+b^2 = 1$ So , $a^...

 
7:34 PM
4
Q: First Dirichlet eigenvalue on regular polygons

guest61Assume $\lambda(P)$ is the first Dirichlet eigenvalue of a regular polygon $P$. Let $u$ be the corresponding eigenfunction, normalized by $\|u\|_{L^2(P)}=1$, and $\partial_{\nu}u$ be its normal derivative on the boundary. Is the following estimate correct: \begin{eqnarray*} \lambda(P)\geq \|\par...

 
 
1 hour later…
9:04 PM
7
Q: How to generate documentation for modules that are behind #[cfg(test)]?

Sergey PotapovIn a Rust project there is a module with utilities to support testing, packed in a module test_utils: #[cfg(test)] pub mod test_utils; Question: is there a way to make cargo doc generate also the documentation for test_utils module and the things inside?

 

« first day (2692 days earlier)      last day (703 days later) »