Toutes les ressources premium et membres pour 8,99 €/mois, en abonnement sans engagement. Voir les offres

PalateKit

Se connecter
Menu

Demander une ressource

Décrivez en une phrase la ressource qui vous manque. Nous vous écrirons quand elle sera publiée.

0 / 280

Une page, une vidéo ou une image en ligne.

Débloquer PalateKit

Tout débloquer

Offre

Le paiement vaut acceptation de nos conditions générales de vente.

Paiement sécurisé par Stripe. Reçus et factures envoyés par e-mail.

Content de vous revoir

Connectez-vous pour installer, télécharger ou sauvegarder cette ressource. Un compte gratuit suffit pour les ressources gratuites.

Résoudre des problèmes sur les tribus v1.0.0

Utilisez cette ressource pour démontrer qu'une collection est une tribu ou qu'une fonction est mesurable

Nouveau

  • 346 téléchargements
  • 141 mentions J'aime
  • 159 sauvegardes

Gratuit

Installer avec la CLI

Dans un terminal, depuis le dossier voulu :

npx --yes palatekit@latest install sigma-algebra-proofs-measure

Sans option, la skill va dans ~/.agents/skills/ ; ajoutez --agent claude-code (ou codex, cursor…) pour viser un agent.

Première fois : connectez la CLI avec

npx --yes palatekit@latest login

L'agent vérifie les axiomes de tribu, calcule la tribu engendrée par une collection, applique le théorème pi-lambda pour l'unicité et teste la mesurabilité, avec Z3 et SymPy. Vous obtenez une démonstration pour votre exercice.

Choisie surtout par

Mise à jour le 2 novembre 2026

Carte de la skill « Résoudre des problèmes sur les tribus »

Caractéristiques

Fonctionne dans
Guides d'installation
Génère avec
Le modèle de votre agent
Licence
MIT

Ressources similaires

Tout voir

Ce que vous obtenez

  • SKILL.md : arbre de décision (axiomes, tribu engendrée, mesurabilité)
  • SKILL.md : commandes Z3 (axiomes, pi-lambda) et SymPy (image réciproque)

Pour qui

  • Vous devez prouver qu'une collection est une tribu
  • Vous étudiez la mesurabilité d'une fonction

Pas pour qui

    Étiquettes

    • tribus
    • théorie de la mesure
    • mesurabilité
    • borélien

    À propos

    Vous dites

    « La famille des parties de X est-elle une tribu ? Montre-le. »

    Carte de la skill « Résoudre des problèmes sur les tribus »

    Skill publiée par parcadei sous licence MIT. Fichiers livrés dans leur version d'origine, en anglais.

    Voir plus

    Comment l'utiliser

    1. Installez la skill dans le dossier de skills de votre agent
    2. Demandez à votre agent de démontrer qu'une collection est une tribu ou qu'une fonction est mesurable
    3. Relisez et ajustez le résultat

    Aperçu du contenu

    Fichiers

    • LICENSE1,1 Ko
    • NOTICE-PALATEKIT.md0,5 Ko
    • SKILL.md3,1 Ko

    Origine et licence

    Référencée sans modification

    Auteur
    parcadei
    Source
    github.com/parcadei/continuous-claude-v3/tree/d07ff4b06b62f43771bc0c927d0211b734d6149e/.claude/skills/math/measure-theory/sigma-algebras
    Licence
    MIT

    Notice

    « sigma-algebras » (parcadei, MIT) livré dans sa version d'origine : fiche en français et en anglais par PalateKit.

    Avis des utilisateurs

    –

    Aucune note pour l'instant

    Chargement des avis…

    Supprimer votre avis ?

    Votre note et votre commentaire seront retirés de la fiche.