None of the above? What's the power set of {a}? Of {{a}}?
I mean, it's been a long time for me, but it's just the power set of a one-element set, right? That the one element is, itself, a set of three elements doesn't matter.
I am fairly fresh in set theory, and I was wondering why is [$0.5, 7.5$] $∩ N$ ≠ $[1, 7]$?
Is it due to the reason that $0.5$ and $7.5$ are $\notin$ the set $[1, 7]$ and for [$0.5, 7.5$] $∩ N$ = $[1, 7]$ to be true, both sets must be subsets of each other which isn't the case here? Or is there a different reason?
That makes sense. So, basically, because the interval [$1, 7$] is not restricted to only natural numbers, we will have some rationals in that interval too, which are obviously not natural numbers?
Composing music is very hard when you have a anti-motif bias You end up with numerous chunks of completely distinct melodies and you struggle to glue them together into a song
Basically, most western type and video game music are ABA, ABCA, or some variation of this to ensure loopability
and so it usually involve 1-2 motifs and the whole song will be just variation of these motifs
My issue is that I often end up with music like the figure shown above
where there are like 10 pieces of melodies, none of them pairwise equal
This means it is usually hard for me to compose a full music piece since it tends to birfrucate in the middle and produce a new melody
and hence you end up with motif-less music
Maths chat people only: This makes me wonder, is there a mathematical formula that detect motifs
where $S$ is a finite set of primes of $K$ and this guy gives you $\mathcal{O}_{K,S}^{\times} \cong \mu(K) \oplus \Bbb Z^{\lvert S \rvert + r_1 + r_2 -1 }$
Let $A$ be a commutative ring, $B$ be a non-commutative $A$-algebra, $P$ be a finitely generated projective left $B$-module.
Let $E=\text{End}_B(P)$ as a left $A$-module (by restricting from $B$). If I were to know that $E$ is in fact a free $A$-module (since $A$, and the map $f:A\to B$ defining...
Let $A$ be a commutative ring, $B$ be a non-commutative $A$-algebra, and $P$ be a finitely generated $B$-module, $P\subset B^n$ with known generators. I want to take $\text{End}_B(P)$ and restrict it to be an $A$-algebra, which I'll denote by $E$, where in my case it is now free as an $A$-module. I want to find the rank of $E$.
I'm interested in the simplest case of the edge-of-the-wedge theorem: If $f\colon\mathbb{C}\rightarrow\mathbb{C}$ is continuous and holomorphic on both half-planes, it is holomorphic everywhere. It is claimed that this follows from Morera's theorem by splitting any contour up along the real axis into parts in the upper and lower half-plane, where they vanish by hypothesis. However, I don't understand how that works. because one still necessarily has parts of the contour along the real axis and I don't think the Cauchy Integral theorem necessarily holds on the boundary. What am I missing?
> > We asked [composer Gyorgy Ligeti] about his musical "influences." We had read—in the New York Times—that he had been influenced by the new field of fractal geometry "whereby physical objects are conceived as consisting of smaller and smaller identical shapes." He said:
> "Yes, fractals are what I want to find in my music. They are the most complex of ornaments in the arts, like small sea horses, like the Alhambra where the walls are decorated with geometric ornaments of great minuteness and intricacy, or like the Irish Book of Kells, those marvelously decorated borders and capitals.
> The most complicated ornaments—perhaps not art, perhaps geometry. It is a very complex music, difficult to describe. I only want to give a metaphysic for my music. After all, music is not a science."
@Secret Thought you might find that interesting
I think this is the quote from the New York Times they're referring to:
> ''I do not use direct mathematical translation into my music, like Xenakis,'' Mr. Ligeti said. ''The influence is poetic: fractals are the most complex ornaments ever, in all the arts, like the Book of Kells or the Alhambra. They provide exactly what I want to discover in my own music, a kind of organic development.''
Hello, I'm learning pde and I'm trying to find an example for a function u that holds: for every parallelogram ABCD with parallel lines to the lines y=+-x, u(A)-u(B)+u(C)-u(D)=0 and u does not hold u_tt=4u_xx
Marilyn vos Savant said that learning is boring. Therefore don't multitask. Multitasking is just a way of easing the feeling of boredom to make it feel like you are progressing although you actually are not.
Prove that the blue curve times a constant is greater than the red curve.
1,2,3,4,5,...
In other words/formulas: Let: $$a(n)=\sum\limits_{d \mid n} \mu(d)d$$ Show that: $$\sum\limits_{r=2}^{n} \frac{\sum\limits_{m=r}^{n} a(\gcd (m,r))}{r} \geq c\underset{\sum\limits_{k=2}^{r} -\left|\sum\limits_{m=k}^{n} a(\gcd (m,k))\right|\geq -(n-1)}{\sum _{r=2}^n} -\frac{\left|\sum\limits_{m=r}^{n} a(\gcd (m,r))\right|}{r}$$
where $c$ is the constant.
The following is not well formulated, at least not yet. Under what conditions/variable bounds is a sequence that sums to 1 and consists of positive and negative terms bounded by c*Floor(Sqrt(Length(sequence)))?
@Thorgott Take part(s) of your path parallel to, and arbitrarily close to, the real axis. You do know continuity (hence uniform continuity on a compact subset).
I'm trying to prove that u:R^n-->R that holds the spherical mean value property also holds the ball mean value property. I understand the intuition but I'm having trouble proving it formally.
I thought about change of variables comparing the integral on the sphere to the integral on the ball
So, say we are (wlog) looking a triangle $T$ with vertices $x,y,w$, the former two lying on the real axis and the latter lying in the upper half-plane. Then we look at the triangles $T_n$ with vertices $x+\frac{i}{n},y+\frac{i}{n},w$. We have $\int_{[x+i/n,w]}f(z)dz=\int_0^1f(w+t(x+\frac{i}{n}-w))(x+\frac{i}{n}-w)dt\rightarrow\int_0^1f(w+t(x-w))(x-w)dt=\int_{[x,w]}f(z)dz$ by uniform continuity on some compact rectangle containing all these triangles. But $\int_{[x+i/n,w]}f+\int_{[w,y+i/n]}f+\int_{[y+i/n,x+i/n]}f=\int_{T_n}f=0$ by Cauchy, hence $\int_Tf=\int_{[x,w]}f+\int_{[w,y]}f+\int_{[y,x…
Polar coordinates work for that problem, but I feel like there should be a more direct argument for why integrating over the ball is the same as integrating over all the spheres of smaller radius and then the radius. Can't think of one right now though.
It feels like the relationship between integration on balls and integration on spheres (geometrically speaking) should be more intrinsic than an explicit parametrization, idk
You look at the field $K := \Bbb Q\left(\sqrt{(-1)^{\frac{p-1}{2}}p} \right)$ and then the splitting number of $2$ is even iff $K \subset \Bbb Q(\zeta_p)^{Z_2}$ which is equivalent to $2$ being split completely in $K$, which happens when $d_K \equiv 1 \bmod 8$ and then that's equivalent to $p \equiv 1$ or $7 \bmod 8$
the proof with $K=\Bbb Q(\zeta_8)$ goes like this. Every odd prime $p$ is unramified in $K$, so we have a Frobenius element in the Galois group which is just given by $\zeta_8 \mapsto \zeta_8^p$. We have a subgroup in the Galois group $\mathrm{Gal}(K/\Bbb Q) \cong (\Bbb Z/8)^\times$ given by $\overline{\pm 1}$, the fixed field $L$ of that is generated by $\zeta_8+\zeta_8^{-1} =\sqrt{2}$. Now the Frobenius element at $p$ fixes $L$ iff $p$ splits completely in $L=\Bbb Q(\sqrt{2})$
but $p$ splits splits completely iff the minimal polynomial of $\sqrt{2}$, i.e. $x^2-2$ splits over $\Bbb F_p$
thus $x^2 \equiv 2 \pmod{p}$ has a solution iff $p \equiv \pm 1 \pmod{8}$
Pretty much just write it down. E.g. in two dimensions you have $\int_{|x|<r}f=\int_0^rs\int_{-\pi}^{\pi}f(r\cos\varphi,r\sin\varphi)d\varphi ds=\int_0^r\int_{|x|=s}f$
It feels backwards though, I'm not satisfied with it
okay so Rösner did motivate them really well. Start with the cyclotomic field $\Bbb Q(\zeta_n)/\Bbb Q$. The Galois group of that is isomorphic to $(\Bbb Z/n\Bbb Z)^\times$, so a one-dimensional representation of the Galois group corresponds in this case simply to a Dirichlet character. We should expect that the Artin L-function for such a representation is a Dirichlet L-function
we can start by looking at Dirichlet L-functions and reinterpreting everything in ANT/Galois terms to try and generalize it to a more general setting
if $\chi:(\Bbb Z/n\Bbb Z)^\times$ is a Dirichlet character, then the L function $L(\chi,s)$ has an Euler product $$L(\chi,s)=\prod_{p \not \mid n}(1-\chi(p)p^s)$$
now for the reinterpretation: viewing $(\Bbb Z/n\Bbb Z)^\times$ as the Galois group of $\Bbb Q(\zeta_n)/\Bbb Q$, we can interpret the primes in $\Bbb Z$ as prime ideals $(p)$, the condition $p \not \mid n$ is of course the fact that $(p)$ is unramified. For these unramified prime ideals, $\chi(p)$ is the evaluation of the representation at the Frobenius element of the prime ideal $(p)$
Now suppose that $L/K$ is a Galois extension of number fields and $\rho:G=\mathrm{Gal}(L/K) \to \mathrm{GL}_n(\Bbb C)$ is a representation. Then for all unramified prime ideals $\mathfrak{p}$ of $K$ we can do the following: choose any prime ideal $\mathfrak{P}$ above $\mathfrak{p}$ and evaluate $\rho$ at the Frobenius element $\mathrm{Frob}_{\mathfrak{P}/\mathfrak{p}}$, then the factor at $\mathfrak{p}$ is $\det(\mathrm{Id}-\rho(\mathrm{Frob}_{\mathfrak{P}/\mathfrak{p}})N(\mathfrak{p}))$, i.e. the characteristic polynomial of $\rho(\mathrm{Frob}_{\mathfrak{P}/\mathfrak{p}})$ evaluated at th…
If $\mathfrak{p}$ is ramified, then there's a slight modification we can make: we can still take a lift of the Frobenius in the residue Galois group, but that will only be well-defined up to an element in the inertia group. That's no problem if the inertia group acts trivially. We can now force the inertia group to act trivially by simply looking only at the invariants $V^{I_{\mathfrak{P}}$. As the inertia group is normal in the decomposition group, this subspace carries an action by the decomposition group, so we take the characteistic polynomial of the action of the Frobenius on $V^{I_\ma…
and then the product over all those local factors is the Artin L-function
the more general statement is that for any conjugacy class of size $n$ in a Galois group of an extension of number fields $L/K$, the density of those prime ideals whose Frobenius is in that conjugacy class is $\frac{n}{[L:K]}$
and you can recover the statement about completely split primes by looking at the conjugacy class of the idenitity
yes you are correct. P(EDGE)=0, so you cannot condition on that. This is just a trick question
