Questions tagged [examples]
For questions requesting examples of a certain structure or phenomenon
18 questions from the last 365 days
3
votes
1
answer
69
views
How irregular can the set of points of non-differentiability for an L1 function's primitive F get, before the FTC fails?
A Fundamental Theorem of Calculus for Lebesgue Integration, J. J. Koliha begins with the passage
Lebesgue proved a number of remarkable results on the relation between integration and differentiation....
- 831
8
votes
1
answer
788
views
What is the smallest and "best" 27 lines configuration? And what is its symmetry group?
I was this past year working with a bright high-schooler on algebraic geometry following Reid's book Undergraduate Algebraic Geometry, and we got all the way to proving that there is at least one line ...
- 35.5k
1
vote
0
answers
171
views
Proving that there are no solutions other than a few known ones
My question is mostly out of curiosity, with probably no other use, but here it is. I will need to provide a bit of background.
I heard from someone who works with elliptic curves that often proving ...
- 407
2
votes
1
answer
152
views
Co-locating slowly increasing smooth functions in two different ways
This question is subsequent from my previous one.
I will write everything in detail for the sake of completeness.
Let $g_1$ and $g_2$ be smooth functions on $\mathbb{R}$, whose derivatives of all ...
- 3,477
1
vote
1
answer
125
views
Subtlety of identifying $W^{k,p}\bigl([0,1] \bigr)$ and $W^{k,p}(S^1)$ - from ME
I apologize for repeating the same question from ME, but it seems more subtle than I expected.
Let me fix the notations here first:
\begin{equation}
C^\infty_c(0,1):= \{ f : (0,1) \to \mathbb{C} \mid ...
- 3,477
2
votes
3
answers
238
views
Existence of antiderivative w.r.t. any given multi-index for tempered distributions
I originally posted this question on ME, but I find it a lot more nontrivial than expected. So, I post it here.
Let $T$ be a tempered distribution on $\mathbb{R}^n$. Then, it is a well-known ...
- 3,477
2
votes
0
answers
136
views
Elementary functions such that $\sum_{n=2}^{\infty} f(n) \left( \zeta(n)-1 \right)$ can be evaluated, but $\sum_{n=2}^{\infty} f(n)$ can't
Background
The general context for this question is the topic of rational zeta series. What I've found so far, is that it usually the case that sums of the form $$\zeta_{f} := \sum_{n=2}^{\infty} f(n) ...
- 4,829
7
votes
0
answers
218
views
Twisting cochain intuition
I'm currently reading through Ed Brown's paper "Twisted tensor products, I", (MR105687, Zbl 0199.58201) and I couldn't find any simple examples of twisting cochains. I understand all ...
- 171
5
votes
1
answer
195
views
What is the most general notion of exactness for functors between triangulated categories?
For triangulated categories $T,T'$ I would like to define "weakly exact" functors as those that respect cones, that is, $F(Cone f)\cong Cone(F(f))$ for any $T$-morphism $f$, and I do not ...
- 16.9k
0
votes
0
answers
106
views
How to prove that $f(x) := |x|^{\frac{\lambda - n}{p}}(1 - \psi(x))$ satisfies a specific property related to its limit at the origin
Disclaimer. I have asked this question a month ago on MSE (click here to access the original post) and even bountied it. I got an answer on MSE, but unfortunately I don't feel like it has enough ...
- 51
0
votes
1
answer
89
views
For any $p, q \in [1,\infty]$ and $s \in (0,\infty)$, can we find some $f \in L^q - W^{s,p}$?
Sobolev inequalities show us when we can embed a Sobolev space into another.
However, I wonder if these inclusions are always proper.
More specifically, let $\Omega \subset \mathbb{R}^n$ be a bounded ...
- 3,477
4
votes
2
answers
287
views
Teaching suggestions for Kleene fixed point theorem
I will take over two lectures from a colleague in which we discuss fixed point theory in the context of complete partial orders, and culminates in showing the Kleene fixed point theorem (see f.e. ...
- 41
3
votes
1
answer
385
views
Concrete examples of derived categories
What examples of abelian categories $\mathcal{A}$ are there such that the derived category $\mathcal{D}(\mathcal{A})$ can be described concretely? For example, is there a concrete way of describing $\...
- 1,474
3
votes
0
answers
132
views
Is the Schwartz space a tame Frechet space?
I ran into the following definition of tame Frechet spaces and Nash-Moser therem.
It says that the space of smooth functions on a compact manifold is tame Frechet.
However, I wonder if
The Schwartz ...
- 3,477
6
votes
1
answer
207
views
Hopf monads in categorical probability theory
1. Context. According to [1], probability monads are arguably the most important concept in categorical probability theory. In [2] Fritz and Perrone argue that "in order for a monad to really ...
- 764
1
vote
0
answers
113
views
Nice, concrete example of pl-flipping contraction
In a course I'm giving on the MMP, I am discussing the importance of Shokurov's notion of a pl-flipping contraction for showing that flips exist for arbitrary flipping contractions. Does someone have ...
- 2,108
6
votes
1
answer
231
views
Weakly contractible $X$, but none of the maps $*\to X$ are cofibrations
Let $\mathrm{Top}$ be the category of all topological spaces and continuous maps. The Quillen model structure on $\mathrm{Top}$ has weak equvalences $W = \{ \text{weak homotopy equivalences} \}$, ...
- 331
0
votes
0
answers
37
views
Finding an element of Gelfand triple with a designated time derivative
Let $V$ be a real separable Banach space and $H$ be a real separable Hilbert space such that
\begin{equation}
V \subset H \subset V'
\end{equation}
where $V'$ is the dual of $V$ and the inclusions are ...
- 3,477