Reputation
2,016
Top tag
Next privilege 2,500 Rep.
Create tag synonyms
Badges
11 24
Impact
~61k people reached

  • 0 posts edited
  • 0 helpful flags
  • 47 votes cast
Apr
9
comment Where are measurable functions not locally integrable?
Thank you! You answered the question which I had in mind but did not phrase correctly.
Dec
26
comment Exterior power of irreducible representation
Exactly that the case in the application. Thank you for pointing out.
Dec
24
comment Fast convergence in $L^1$ implies convergence almost everywhere
You could clarify where the quadratic convergence is actually needed. Any exponent p > 1 works just as fine.
Nov
4
comment Permutation restricted to subset, reorder the range
Read the question again.
Oct
27
comment Direct sum of finitely-many non-abelian groups
In the second case, you probably mean "... which agrees with the direct -product- for finitely many ..."
Oct
11
comment An unbounded operator is closed if and only if its kernel is closed?
Of course, the scales fall from my eyes.
Sep
9
comment Can classes in ZFC be identified with logical predicates A(x)?
Thanks for explaining. I explicitly mentioned ZFC, since most mathematicians work with that.
Jun
12
comment Chain morphism into a subcomplex homotopic to identity
@HSN Thank you for pointing out this typo. There is only one subcomplex involved.
May
22
comment Core for an unbounded operator.
Do you know a reference for the domain of $A^\ast A$ being a core of $A$?
Feb
9
comment What are single layer and double layer potentials?
This article does not provide very much information, and it does not explain single layer potentials. Where does that name come from?
Jan
29
comment Is this strengthening of paracompactness known?
Ok, that was a typo.
Oct
20
comment “Isomorphy” in mathematical texts
I have added an explanation.
Oct
20
comment “Isomorphy” in mathematical texts
I there is common agreement on that, can feel free to migrate it.
Oct
7
comment Term of partially ordered set with “levels”
Not necessarily, although in the application I have in mind, the sets $X_i$ are antichains. Thanks for making me aware of that.
Oct
2
comment Basis of vector space invariant under group action (of symmetric group)
What is $c_2$? However, indeed, such a basis might not exist, but how can this be shown?
Sep
10
comment Approximate root of $\alpha x - \beta y$ over $\mathbb Z$ except origin
@RobertIsrael Can you give more hints? I have no clue where to start with this.
Sep
10
comment Approximate root of $\alpha x - \beta y$ over $\mathbb Z$ except origin
Assuming $\beta > 0$, I see the equivalences. But what does it tell?
Sep
10
comment Approximate root of $\alpha x - \beta y$ over $\mathbb Z$ except origin
Has been a late night. Of course, the origin is excluded.
Jul
18
comment Canonical term for $\overline X / X$ where $X$ is a normed space.
This appears in the theory of Hilbert complexes, as quotient of the closure of the boundaries by the boundaries. More, generally, for Banach complexes see: link.springer.com/article/10.1007%2FBF02922133?LI=true
Apr
5
comment Boundedness of a Solution Operator
@user17904: You need to show that for Sobolev space $H$ of sufficient regularity the trace from $H$ to $L^2(\partial\Omega)$ has closed range. Than a bounded right-inverse exists by functional analysis. Typically, you can prove surjectivity, say, by partition of unity, smoothing and an explicit construction.