geometers act like they've got the whole thing figured out. which they do. but who's to say that i don't also have the whole thing figured out. i have a deactivated laptop with drafts of maybe 5 preprints. refute that, geniuses. i have secret cheat codes to worlds you have never imagined.
3d geometry is really something else. i don't mean to distract from the endgame here. it's just, i had nothing to prepare me for it. does anywhere do something about vector geometry before plummeting people into this? at berkeley as an undergrad the experience was akin to falling down a well. but my high school was terrible.
At any rate (and I think I've said this before), I was not looking for the formula, although the formula is fine. I wanted the argument that the solutions of $a\times x = c$ form a line parallel to $a$ and the solutions of $a\cdot x = b$ form a plane orthogonal to $a$. Therefore the solutions of the two equations are given by intersecting a line and a plane orthogonal to it; i.e., there exists a unique solution.
I never had that visulaized what you explained......as you could see by my diagram I was operating on the idea that $a$ and $x$ form a plane, but not a plane orthogonal to $a$
lord almighty....I thought about that incorrectly....and I still have to figure out an expression for $x$ for my own personal satisfaction.
baptism by fire for cross products and geometry....
No, we're in the plane orthogonal to $c$ for your stuff. The other equation gives the plane orthogonal to $a$. You really have to read more carefully ...
my daughter's about to come home from day care, and "after care" (i think they invented this phrase to make me feel like less of a parent), and demand cookies. let's think of defenses. the affirmative argument is that if you need a cookie, eat a cookie.
so hold up...that scalar $t$ that I found earlier can't be correct then because I had taken $a \cdot ((\mathbf{a \times c}) + t\mathbf{a}) = b$, but if $\mathbf{x} = (\mathbf{a \times c}) + t\mathbf{a}$, then I should've been doing $((\mathbf{a \times c}) + t\mathbf{a)} \cdot (\mathbf{a \times c}) = b$. In which case I run into an issue because $t$ disappears...
have you convinced yourself that the problem provides solutions, prior to potentially unique solutions? i hate myself, but geometry provides the way to this.
I'd say manifolds diffeomorphic to Minkowski space with zero curvature are solutions to the Einstein field equations
vacuum solution that is
the reason is because you can construct a Lorentzian manifold with zero curvature that is diffeomorphic to Minkowski space. This would be a vacuum solution to the Einstein field equations
solving the field equations gives a lorentzian manifold
you have to understand, i went to a horrible middle school. a kid was shot in my school district, in physics class, the year i was there. so, shove, hey einstein, where are my field equations. also i need 50 cents for the vending machine because i could use a mountain dew.
shove here's your lorentzian manifold. that kind of thing. you can imagine the rest.
sachs and wu was my resource for this thing when i was interested in it. it is not a great resource for people who are not mathematicians.
physicists seem not to be troubled by whether or not things satisfying their equations exist. you may have to depart from equations at some point. it is a semi religious thing.
one of my wife's friends in college used to housesit for don glaser.
i wonder if berkeley can get those people anymore. when i was a grad student, it was really hard for their physics department to recruit anybody. the facilities were horrible.
i'd like to go back when it's all over. i was planning on some kind of trip with one of my parents before the pandemic. my dad is now retiring so maybe we can get back to memphis, where he grew up. after i'm vaccinated
my home office puts me right in front of some blinds, they mess up the background stuff. the zoom filters do appropriately put unicorn horns on my head.
did i say horns? i mean horn, singular. that's the entire purpose of the unicorn. no need for anybody to point that out
i'm trying to arrange a deposition right now. there will be a court reporter to write down what we say, but the vendor will not record the video. someone asked me, 'why can't we record the video?' i don't know, who cares. none of this matters.
for court proceedings it is necessary. this is a proceeding in front of the US patent office. they do not care about video. you actually have to ask them for permission to file the video. they hate it. so we don't do it.
my wife is a big fan of that. i love olivia colman from peep show mostly.
i wiretap everybody, irrespective of whatever. we might be a two party state. the problem with depos is 'videographer' is a separate line item and unless it's going in front of a jury, which it isn't, the client doesn't want to pay for it
i say this not as a member of the bar of any court ,but if you remotely feel challenged, record everything. the damages in a lawsuit over that will probably be negligble, even if you shouldn't be doing it.
i googled it, california is a two-party state. i've had some very funny phone calls with people, where the other side phoned someone in a one-party state, and we have records, telling us not to tell the court something. "Why? why not?" no answer.
then we put the whole recording in front of the court.
i'm assuming that there's no such thing as retirement, and that colleges won't exist. we're socking away the money but it will be a distaster in any case. i can't save at this level of inflation.
we had a pretty good syllabus put together, about math in various civilizations that were somewhat erased by colonization. based on primary sources and not a lot of speculation, just literal pictures of the primary documents and math.
i remember mentioning sin & cos in an introductory cs class and getting, "Joe, we didn't study calculus". i wondered how one could get into a cs class without knowing trig.
we had a funny thing at berkeley in the late 90s. the CS department was very competitive. the math department was not. so you'd have people failing out of the qualifying requirements for computer science and then majoring in math because they'd done the other stuff. "oh, shit, i got a D in math. now i guess i have to major in math."
it drove the postdocs and graduate students crazy. if you go to princeton or wherever you imagine teaching a room full of mini-you's. this was a roomful of people who could not write code.
fisher of statistics fame has a blue plaque just outside of hampstead heath. i showed my wife that before she got her statistics degree. maybe when this shit is all over we'll go back.
when they open up the beaches i'm going to teach my daughter how to surf. she needs enormous amounts of sunscreen. she calls it "sunsheen" because she is two years old.
there is a mockingbird going into full song right now. it's been dark for hours. 11:15 p.m. and he's running through all of his calls. i've heard chirps, robin song, phoebe song, hawk screeches, traces of car alarms. it's annoying but also impressive. if i were a mockingbird, i would be very impressed.
@RajorshiKoyal Eliminate $R_P, R_Q$ from the equations and rearrange into a linear syste, and solve.
We used to have a corncrake in the field beside us in one of the places we lived in Ireland. My granny used to take me out and night to listen and tell me that it won't be long before they will be very rare.
he's very impressive. in the daytime they also do a flight display, up and down from a perch. it's something else.
he's now doing robin calls. the last 5 minutes he's been doing a robin.
we're on a hill and our second story is level with the trees he is in. it's very loud right now.
the cat isn't pleased.
the indoor-only cat would like to go out and play. perhaps practice the hunting maneuvers that she has perfected when ambushing us in the middle of the night
i resent the actor in that advertisement because he looks younger than me and has more hair than i do, but i will non-ironically follow the guidance of that advertisement.
Gentlemen..........So I have two truth or false questions about direct sums.....they have solution attached, but I'm not understanding the reasoning for them.
my parents both have fairly good health care because they served in the military. the reasons why this system (though imperfect) might not be extended to all people are unknown to me. it has something to do with politics and abstract notions of freedom. money from private health insurers may be involved. shrug, not my problem.
@copper.hat Thanks a lot. I arrived at the answer. However it is particularly confusing when I find it difficult to deal with the terms given there to arrive at the conclusion
Profit percentage and profit are defined in a very confusing sense. How do you particularly understand whether or not I am supposed to ignore it totally or take that as reference?
as in the definition of direct sum I'm used to seeing doesn't define it as $W_{i} \cap \sum_{i \neq k}W_{k} = \{0\}$, but $V = \sum W_{i}$ where $W_{i} \cap W_{j} = \{0\}$
I spent the day helping a nephew in law with his 3rd year mechatronics problems. i have power supply problems crawling out of my head. math is so much more refreshing.
i spent from approximately 6pm-9pm mediating a battle between my daughter and my cat over a toy. the toy contained catnip, which is suggestive of whose toy it actually was. but there was a difference of opinion.
Take the plane. The every line through the origin is a subspace. Pick any subset of these lines, then $W_i \cap W_j $ is trivial for any two, but this is far from a direct sum (which needs some form of uniqueness).
i would deactivate the cat before it becomes expensive :-).
Here is the text output of the following program:
Theorem. If (A,+) is a group, x:A, a:A, b:A, and x=b+(-a), then x=b+(-a).
Proof.
Assume that (A,+) is a group, x:A, a:A, b:A, and x=b+(-a).
We can add -a to both sides of equation x+a = b, giving:
(x+a)+(-a)=b+(-a)
Since (x+a)+(-a)=x+(a+(-a...
Well it is bed time for me on the East Coast, you West Coast folks can enjoy the rest of the evening. And thank you for the help @copper.hat, even though I should stick around because if the wine is coming out there might be some interesting war stories from back in the day coming out.....
@StudySmarterNotHarder I am sure it is clear to you but I have no idea what is going on. I used to do formal verification in the hardware design space.
@StudySmarterNotHarder there is just too much stuff without much clarity. Even from a .py perspective alone the following loses me: with Proof(S) as p: p = Proof(S)
I want to prove something interesting, but obviously that will take more than a day of coding. However, the shortest path is not coding everything using Type Theory background. That is my thesis essentially
I'm basically using substitution of expressions, just like humans do math
The expression tree is objects of classes all derived from Statement.
To make a statement, you can And together some other statements. In order to prove something, you must construct the conclusion and the expression you construct must match the statement's conclusion, exactly.
Id = Equality in the code, but I should probably refactor to Eq and _ProvenEq
That will enable me to get rid of the Proof._overrideEnter() / Proof._overrideExit()'s in the code. Those simply enable me to create Id objects but the user's proof cannot. So you cannot fake a proof out of thin air.
hi, is it generally true that if $X \cup_{f} Y$ is an adjunction space with $f : A \subset X \rightarrow Y$ an attaching map, then $(X \cup_{f} Y) / Y $ is the same space as $X / A$ (up to homeomorphism)?
my guess would be the sum of the profits in each of those three years, divided by three. it's a strange metric
at least, my ears would perk up if a company i was thinking about investing in told me about its average profits over many years instead of giving me those numbers. i guess i could imagine a loan agreement using a measurement like that to give a borrower some breathing room.
@Thorgott I asked because I thought $\Bbb Q/\Bbb Z = \varinjlim \frac{1}{n}\Bbb Z/ \Bbb Z$ but the text I'm reading says $\Bbb Q/\Bbb Z = \bigcup_n \frac{1}{n}\Bbb Z/ \Bbb Z$
@EdwardEvans when they aren't yet submodules of each other then you need $\varinjlim$
if all the maps are injections then you can find your original modules inside the direct limit (which is a colimit), and then it will be the "same" as union
i was cleaning out my car, which has driven maybe 100 miles in the last year, and found a book on universal algebra under the passenger seat.
@user586228, just an assumption that "average X" without further qualification means a sum of the things described in X divided by their number. i do not feel strongly about this.
"average" is a funny word. it often means something more than that, but when it actually means that, i always get a little nervous. surely there's more. no, it's just a sum divided by a number. really? really. sometimes, anyway.
arguably the integral that you'd compute for that, in a continuous setting, is also a sum divided by a number, but i limit my previous remarks to the discrete setting, where it is often simpler.
and in the cases they bothered to tell us about in high school, where the acceleration was constant, it really was an average.