« first day (3822 days earlier)      last day (165 days later) » 

8:08 AM
4
A: How do people prove $\Gamma$-convergence in more complicated settings?

Beni BogoselI am mostly familiar with the simpler definition ("Definition in first-countable spaces" from the Wikipedia link): Given the functionals $F_\varepsilon, F: X \to \overline{\Bbb{R}}$ (indexed for $\varepsilon>0$, we say that $F_\varepsilon$ $\Gamma$-converges to $F$ if the two properties hold: (L...

I do not know whether the last link is down only temporarily or it is gone for good, but I have added at least a link to the Wayback Machine). (Considering that the question was bumped to the frontpage after a new tag was added, this seemed like a reasonable thing to do.) — Martin Sleziak 1 min ago
8:26 AM
If you refer to E. Bretin's homepage it seems to work from my location (France). — Beni Bogosel 7 mins ago
That is rather weird. I have tried to create a Wayback Machine snapshot and you can see that the page says only "Not Found". And it is now shown in GeoPeeker either. — Martin Sleziak 45 secs ago
It works for me now too - but I had to change https to http manually in the URL. (Since the post has a http-link, I am not really sure why I was redirected to https.) Perhaps it is still ok if the Wayback Machine links remains in the post - just in case. I suppose these comments are no longer relevant - feel free to ping me here on in chat to let me know that I can delete my comments. — Martin Sleziak 39 secs ago
 
11 hours later…
7:13 PM
A new tag . Perhaps the tag could be suitable there? (Judging just by the name - I do not know anything about this topic.)
1
Q: cocycle datum for principal $G$-bundle over base space Delta set

JackYoLet $X$ be topological realization of a (finite) Delta set, $G$ a finite group and $p: P \to X$ a principal $G$-bundle. Let's recall the standard fact that more generally any numerable principal G-bundle $p: P \to X$ over paracompact base space $X$ after having fixed a trivializing cover $(U_i)_{...


« first day (3822 days earlier)      last day (165 days later) »